Оператор истины для классической сентенциональной логики и ее расширения на область неправильно построенных формул
##plugins.themes.bootstrap3.article.sidebar##
Published:
30.11.2009
##plugins.themes.bootstrap3.article.main##
Abstract
In the paper axiomatic truth theory with truth operator for classical sentential logic is proposed. Such theory is extended on domain of not well-formed formulae and on sentential logic that was enriched by quantifiers.
##plugins.generic.usageStats.downloads##
##plugins.generic.usageStats.noStats##
##plugins.themes.bootstrap3.article.details##
How to Cite
Pavlov S. Оператор истины для классической сентенциональной логики и ее расширения на область неправильно построенных формул // Logicheskie Issledovaniya / Logical Investigations. 2009. VOL. 15. C. 169-181.
Issue
Section
Papers
References
Аристотель. Категории // Сочинения. Т. 2. М., 1978. С.51- 90.
Бессонов А.В. Истина внутри языка выразима // Язык и логическая теория. М., 1987. С. 54-61.
Гильберт Д., Аккерман В. Основы теоретической логики. М., 1947.
Павлов С.А. Логика с операторами истинности и ложности. М., 2004.
Тарский А. Семантическая концепция истины // Аналитическая философия: Становление и развитие. М., 1998.
Фреге Г. Функция и понятие // Готтлоб Фреге. Логика и логическая семантика. М., 2000.
Dunn J.M. Partiality and its Dual // Studia Logica. 2000. Vol. 65. P. 5-40.
Бессонов А.В. Истина внутри языка выразима // Язык и логическая теория. М., 1987. С. 54-61.
Гильберт Д., Аккерман В. Основы теоретической логики. М., 1947.
Павлов С.А. Логика с операторами истинности и ложности. М., 2004.
Тарский А. Семантическая концепция истины // Аналитическая философия: Становление и развитие. М., 1998.
Фреге Г. Функция и понятие // Готтлоб Фреге. Логика и логическая семантика. М., 2000.
Dunn J.M. Partiality and its Dual // Studia Logica. 2000. Vol. 65. P. 5-40.