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

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

L.Yu. Devyatkin

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

Section
Статьи

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.