Axiomatization of a Basic Logic of Logical Bilattices

• Autorzy: Mitio Takano
• Języki publikacji: EN

Abstrakty

EN

A sequential axiomatization is given for the 16-valued logic that has been proposed by Shramko-Wansing (J Philos Logic 34:121–153, 2005) as a candidate for the basic logic of logical bilattices.

Słowa kluczowe

EN

logical bilattice; sequent calculus

• Wydawca: Wydawnictwo Uniwersytetu Łódzkiego
• Czasopismo: Bulletin of the Section of Logic
• Rocznik: 2016
• Tom: 45
• Numer: 2

Daty

wydano

2016-06-30

Twórcy

autor

Mitio Takano

• Niigata University

Bibliografia

• [1] O. Arieli and A. Avron, Reasoning with logical bilattices, Journal of Logic, Language and Information 5 (1996), pp. 25–63.
• [2] S. Maehara, A general theory of completeness proofs, Annals of the Japan Association for Philosophy of Science 3:5 (1970), pp. 242–256.
• [3] S. P. Odintsov, On axiomatizing Shramko-Wansing’s logic, Studia Logica 91 (2009), pp. 407–428.
• [4] A. Pietz and U. Rivieccio, Nothing but the truth, Journal of Philosophical Logic 42 (2013), pp. 125–135.
• [5] Y. Shramko and H. Wansing, Some usuful 16-valued logics: How a computer network should think, Journal of Philosophical Logic 34 (2005), pp. 121–153.
• [6] M. Takano, Gentzenization of trilattice logics, Studia Logica 104 (2016), pp. 917–929.

Identyfikatory

DOI

10.18778/0138-0680.45.2.02