Equality of consequence relations in finite-valued logical matrices

##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##

Section
Статьи

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.