Three-valued matrices with classical consequence relation for an arbitrary propositional language
##plugins.themes.bootstrap3.article.main##
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##
How to Cite
Devyatkin L. Y. Three-valued matrices with classical consequence relation for an arbitrary propositional language // Logicheskie Issledovaniya / Logical Investigations. 2014. VOL. 20. C. 246-252.
Issue
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