Equality of consequence relations in finite-valued logical matrices
Main Article Content
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.
Downloads
Download data is not yet available.
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
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.
Kalicki, J., A test for the equality of truth-tables, Journal of Symbolic Logic 17:161–163, 1952.