n-значные матрицы для классической логики высказываний
##plugins.themes.bootstrap3.article.sidebar##
Published:
30.11.2009
##plugins.themes.bootstrap3.article.main##
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##
How to Cite
Devyatkin L. n-значные матрицы для классической логики высказываний // Logicheskie Issledovaniya / Logical Investigations. 2009. VOL. 15. C. 94-105.
Issue
Section
Papers
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.
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.