Axiomatization of a Basic Logic of Logical Bilattices
Bulletin of the Section of Logic (2016)
- Volume: 45, Issue: 2
- ISSN: 0138-0680
Access Full Article
topAbstract
topHow to cite
topReferences
top- [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.