Three-valued matrices with classical consequence relation for an arbitrary propositional language

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

L. Yu. Devyatkin

Abstract

In this paper the class of three-valued matrices with classical consequence relations is defined.

##plugins.generic.usageStats.downloads##

##plugins.generic.usageStats.noStats##

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

Section
Papers

References

Devjatkin L.Ju., Karpenko A.S., Popov V.M. Trehznachnye harakteristicheskie matricy klassicheskoj propozicional’noj logiki // Trudy nauchno-issledovatel’skogo seminara Logicheskogo centra Instituta filosofii RAN. 2007. № 18. P.50–62