Metadata
Author: WikiMatrix
Data
Greek[el]
Η σημασιολογία τιμών αληθείας (truth-value semantics, συχνά αναφερόμενη και με τον αγγλικό όρο substitutional quantification) προτάθηκε από τη Ruth Barcan Marcus για τροπικές λογικές (modal logics) στις αρχές της δεκαετίας του 1960 και αργότερα χρησιμοποιήθηκε από τους Dunn, Belnap και Leblanc για την απλή λογική πρώτου βαθμού.
Russian[ru]
Семантика значений истинности (также известная как подстановочная квантификация) была предложена Рут Маркус (англ. Ruth Barcan Marcus) для модальных логик в начале 1960-х и затем развита в трудах Дана (Michael Dunn), Белнапа (англ. Nuel Belnap) и Леблана (Hugues Leblanc) в качестве стандартной логики первого порядка.