Equality of consequence relations in finite-valued logical matrices

##plugins.themes.bootstrap3.article.sidebar##

PDF
Published: 09.04.2013
DOI: https://doi.org/10.21146/2074-1472-2013-19-0-273-280

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

L.Yu. Devyatkin

Abstract

In this paper the procedure is presented that allows to determine in finite number of steps if consequence relations in two finite-valued logical matrices for propostional language L are equal.

##plugins.generic.usageStats.downloads##

##plugins.generic.usageStats.noStats##

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

How to Cite
Devyatkin L. Equality of consequence relations in finite-valued logical matrices // Logicheskie Issledovaniya / Logical Investigations. 2013. VOL. 19. C. 273-280.
Issue
Vol 19 (2013)
Section
Papers

References

Kalicki, J., A test for the existence of tautologies according to manyvalued truth-tables, Journal of Symbolic Logic 15:182–184, 1950.
Kalicki, J., A test for the equality of truth-tables, Journal of Symbolic Logic 17:161–163, 1952.