Four consequence relations, three orders, two matrices, one bilattice
Article Sidebar
Published:
03.05.2012
Keywords:
product of logical matrices, anti-designated values, consequence relation
Main Article Content
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.
Downloads
Download data is not yet available.
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.