Four consequence relations, three orders, two matrices, one bilattice
##plugins.themes.bootstrap3.article.sidebar##
Published:
03.05.2012
##plugins.themes.bootstrap3.article.main##
Abstract
In this paper it is shown how four consequence relations defined in terms of designated and anti-designated values allow to produce a six-element bilattice on the basis of two arbitrary finite-valued logical matrices for a propositional language L.
##plugins.generic.usageStats.downloads##
##plugins.generic.usageStats.noStats##
##plugins.themes.bootstrap3.article.details##
How to Cite
Devyatkin L. Four consequence relations, three orders, two matrices, one bilattice // Logicheskie Issledovaniya / Logical Investigations. 2012. VOL. 18. C. 127-131.
Issue
Section
Papers
References
Dunn J.M. Partiality and its dual // Studia Logica. V. 66. 2000. Pp. 5-40.
Frankowski S. Formalization of a plausible inference // Bulletin of the Section of Logic. V. 33. 2004. Pp. 41-52.
Kalicki J. A test for the equality of truth-tables // The Journal of Symbolic Logic. V. 17. № 3. 1952. Pp. 161-163.
Malinowski G. Inferential many-valuedness // Philosophical logic in Poland, J.Wolenski (ed.). Synthese Library, Kluwer Academic Publishers, Dordrecht. 1994. Pp. 74-84.
Rescher N. Many-Valued Logic. New York (McGraw-Hill), 1969. Reprinted: Aldershot (Gregg Revivals), 1993. Pp. 96-101.
Shramko Y., Wansing H. Entailment realtions and/as truth values // Bulletin of the Section of Logic. V. 36:3/4. 2007. Pp. 131-143.
Frankowski S. Formalization of a plausible inference // Bulletin of the Section of Logic. V. 33. 2004. Pp. 41-52.
Kalicki J. A test for the equality of truth-tables // The Journal of Symbolic Logic. V. 17. № 3. 1952. Pp. 161-163.
Malinowski G. Inferential many-valuedness // Philosophical logic in Poland, J.Wolenski (ed.). Synthese Library, Kluwer Academic Publishers, Dordrecht. 1994. Pp. 74-84.
Rescher N. Many-Valued Logic. New York (McGraw-Hill), 1969. Reprinted: Aldershot (Gregg Revivals), 1993. Pp. 96-101.
Shramko Y., Wansing H. Entailment realtions and/as truth values // Bulletin of the Section of Logic. V. 36:3/4. 2007. Pp. 131-143.