n-значные матрицы для классической логики высказываний

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

L.Yu. Devyatkin

Abstract

This paper is devoted to the mutiple-valued logical matrices in which the class of tautologies is one of a classical propositional logic. A class of such matrices with a classical consequence relation is described. Moreover several classes of multiple-valued matrices of the type in question with a non-classical consequence relation are considered.

##plugins.generic.usageStats.downloads##

##plugins.generic.usageStats.noStats##

##plugins.themes.bootstrap3.article.details##

Section
Статьи

References

Девяткин Л. Ю., Карпенко А. СПопов В. М. Трехзначные характеристические матрицы классической пропозициональной логики // Труды научно- исследовательского семинара Логического центра Института философии РАН. Вып XVIII. М.: ИФ РАН, 2007. С. 50-62.
Epstein R. L. The semantic foundations of logic. Vol. 1: Propositional logic. Dordrecht, 1990. P. 263-287.
Malinowski G. On Many-Valuedness, Sentential Identity, Interference and Lukasiewicz Modalities // Logica Trianguli. Lodz, Nantes, Santiago de Compostella, 1997. Vol. 1. P. 61-71.
Rescher N. Many-valued logic. N. Y., 1969. P 31-33.