Natural three-valued logics and classical logic
Article Sidebar
Опубликован:
09.04.2013
Main Article Content
Аннотация
In this paper implicative fragments of natural three- valued logic are investigated. It is proved that some fragments are equivalent by set of tautologies to implicative fragment of classical logic. It is also shown that some natural three-valued logics verify all tautologies of classical propositional logic.
Скачивания
Данные скачивания пока не доступны.
Article Details
Как цитировать
Томова Н. Natural three-valued logics and classical logic // Логические исследования / Logical Investigations. 2013. Т. 19. C. 344-352.
Выпуск
Раздел
Статьи
Литература
Devyatkin, L., Three-valued semantics for the classical propositional logic, Moscow: Institute of Philosophy of RAS, 2011 (in Russian).
Lukasiewicz, J., and A. Tarski, Investigations into the sentential calculus, in Lukasiewicz J. Selected Works. Amsterdam & Warszawa: North-Holland & PWN. 1970.
Tomova, N., A lattice of implicative extensions of regular Kleene’s logics, Reports on mathematical logic 47:173—182, 2012.
Tomova, N., Implicative extensions of regular Kleene’s logics, Logical Investigations 16:233—258, 2010 (in Russian).
Wajsberg, M., Metalogische Beitr_age, Wiadomo_sci Matematyczne 43: 131–168, 1937. (English translation: Wajsberg, M., Contribution to metalogic, Logical works, Wroc llaw, 1977, pp. 172–200).
Lukasiewicz, J., and A. Tarski, Investigations into the sentential calculus, in Lukasiewicz J. Selected Works. Amsterdam & Warszawa: North-Holland & PWN. 1970.
Tomova, N., A lattice of implicative extensions of regular Kleene’s logics, Reports on mathematical logic 47:173—182, 2012.
Tomova, N., Implicative extensions of regular Kleene’s logics, Logical Investigations 16:233—258, 2010 (in Russian).
Wajsberg, M., Metalogische Beitr_age, Wiadomo_sci Matematyczne 43: 131–168, 1937. (English translation: Wajsberg, M., Contribution to metalogic, Logical works, Wroc llaw, 1977, pp. 172–200).