О некоторых функциональных свойствах трехзначных матриц для классической логики
##plugins.themes.bootstrap3.article.sidebar##
Published:
10.04.2011
##plugins.themes.bootstrap3.article.main##
Abstract
In this paper a number of functional properties of implicative-negative three-valued logical matrices with the classical consequence relation is described.
##plugins.generic.usageStats.downloads##
##plugins.generic.usageStats.noStats##
##plugins.themes.bootstrap3.article.details##
How to Cite
Devyatkin L. О некоторых функциональных свойствах трехзначных матриц для классической логики // Logicheskie Issledovaniya / Logical Investigations. 2011. VOL. 17. C. 109-120.
Issue
Section
Papers
References
Бочвар Д.А. Об одном трехзначном исчислении и его применении к анализу парадоксов классического расширенного функционального исчисления // Математический сборник. Т. 4, № 2. 1938. С. 287-308.
Девяткин Л.Ю. Многозначные изоморфы классической пропозициональной логики. Кандидатская диссертация на соискание ученой степени кандидата философских наук. М., 2008. С. 29.
Мендельсон Э. Введение в математическую логику. М., 1984. С. 33.
Avron A. Natural 3-valued logics — characterization and proof theory // The Journal of Symbolic Logic. Vol. 56. № 1. P. 276-294.
Monteiro A. Construction des algebres de Lukasiewicz trivalentes dans les algebres de Boole monadiques, I // Mathematica Japonica. Vol. 12. P. 1-23.
Slupecki J., Bryl J. and Prucnal T. Some remarks on the three-valued logic of J. Jukasiewicz // Studia Logica. Vol. 21. P. 45-70.
Девяткин Л.Ю. Многозначные изоморфы классической пропозициональной логики. Кандидатская диссертация на соискание ученой степени кандидата философских наук. М., 2008. С. 29.
Мендельсон Э. Введение в математическую логику. М., 1984. С. 33.
Avron A. Natural 3-valued logics — characterization and proof theory // The Journal of Symbolic Logic. Vol. 56. № 1. P. 276-294.
Monteiro A. Construction des algebres de Lukasiewicz trivalentes dans les algebres de Boole monadiques, I // Mathematica Japonica. Vol. 12. P. 1-23.
Slupecki J., Bryl J. and Prucnal T. Some remarks on the three-valued logic of J. Jukasiewicz // Studia Logica. Vol. 21. P. 45-70.