Four consequence relations, three orders, two matrices, one bilattice


L.Yu. Devyatkin


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.






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.