Axiomatization of a Basic Logic of Logical Bilattices

Mitio Takano

doi:10.18778/0138-0680.45.2.02

Authors

Mitio Takano Niigata University

DOI:

https://doi.org/10.18778/0138-0680.45.2.02

Keywords:

logical bilattice, sequent calculus

Abstract

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.

References

[1] O. Arieli and A. Avron, Reasoning with logical bilattices, Journal of Logic, Language and Information 5 (1996), pp. 25–63.
Google Scholar

[2] S. Maehara, A general theory of completeness proofs, Annals of the Japan Association for Philosophy of Science 3:5 (1970), pp. 242–256.
Google Scholar

[3] S. P. Odintsov, On axiomatizing Shramko-Wansing’s logic, Studia Logica 91 (2009), pp. 407–428.
Google Scholar

[4] A. Pietz and U. Rivieccio, Nothing but the truth, Journal of Philosophical Logic 42 (2013), pp. 125–135.
Google Scholar

[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.
Google Scholar

[6] M. Takano, Gentzenization of trilattice logics, Studia Logica 104 (2016), pp. 917–929.
Google Scholar