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

Article Sidebar

PDF
Published: 08.05.2014
DOI: https://doi.org/10.21146/2074-1472-2014-20-0-246-252
Keywords:
classical propositional logic, three-valued logics, consequence relation

Main Article Content

L. Yu. Devyatkin

Abstract

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

Downloads

Download data is not yet available.

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
Vol 20 (2014)
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