Оператор истины для классической сентенциональной логики и ее расширения на область неправильно построенных формул

##plugins.themes.bootstrap3.article.main##

S.A. Pavlov

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##

Section
Статьи

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.

##plugins.generic.recommendByAuthor.heading##