Natural three-valued logics and classical logic
##plugins.themes.bootstrap3.article.sidebar##
Published:
09.04.2013
##plugins.themes.bootstrap3.article.main##
Abstract
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.
##plugins.generic.usageStats.downloads##
##plugins.generic.usageStats.noStats##
##plugins.themes.bootstrap3.article.details##
How to Cite
Tomova N. Natural three-valued logics and classical logic // Logicheskie Issledovaniya / Logical Investigations. 2013. VOL. 19. C. 344-352.
Issue
Section
Papers
References
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).