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
top
Abstract
topHow to cite
topMitio Takano. "Axiomatization of a Basic Logic of Logical Bilattices." Bulletin of the Section of Logic 45.2 (2016): null. <http://eudml.org/doc/295526>.
@article{MitioTakano2016,
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.},
author = {Mitio Takano},
journal = {Bulletin of the Section of Logic},
keywords = {logical bilattice; sequent calculus},
language = {eng},
number = {2},
pages = {null},
title = {Axiomatization of a Basic Logic of Logical Bilattices},
url = {http://eudml.org/doc/295526},
volume = {45},
year = {2016},
}
TY - JOUR
AU - Mitio Takano
TI - Axiomatization of a Basic Logic of Logical Bilattices
JO - Bulletin of the Section of Logic
PY - 2016
VL - 45
IS - 2
SP - null
AB - 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.
LA - eng
KW - logical bilattice; sequent calculus
UR - http://eudml.org/doc/295526
ER -
References
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.
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.