Abstract
Sequent calculi for trilattice logics, including those that are determined by the truth entailment, the falsity entailment and their intersection, are given. This partly answers the problems in Shramko-Wansing (J Philos Logic 34:121–153, 2005).
Similar content being viewed by others
References
Kamide N., Wansing H.: Sequent calculi for some trilattice logics. The Review of Symbolic Logic 2, 374–395 (2009)
Kamide N., Wansing H.: Completeness and cut-elimination theorems for trilattice logics. Annals of Pure and Applied Logic 162, 816–835 (2011)
Odintsov S. P.: On axiomatizing Shramko-Wansing’s logic. Studia Logica 91, 407–428 (2009)
Odintsov S.P., Wansing H.: The logic of generalized truth values and the logic of bilattices. Studia Logica 103, 91–112 (2015)
Shramko Y., Wansing H.: Some usuful 16-valued logics: How a computer network should think. Journal of Philosophical Logic 34, 121–153 (2005)
Takano M.: Sequent calculus for the intersection of LK and the reversed. Far East Journal of Mathematical Sciences 68, 297–305 (2012)
Takeuti G.: Proof Theory. Amsterdam, North-Holland (1975)
Wansing H.: The power of Belnap: Sequent systems for SIXTEEN 3. Journal of Philosophical Logic 39, 369–393 (2010)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Takano, M. Gentzenization of Trilattice Logics. Stud Logica 104, 917–929 (2016). https://doi.org/10.1007/s11225-016-9658-z
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-016-9658-z