Axiomatization of a Basic Logic of Logical Bilattices

Mitio Takano

Bulletin of the Section of Logic (2016)

  • Volume: 45, Issue: 2
  • ISSN: 0138-0680

Abstract

top
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.

How to cite

top

Mitio 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. [1] O. Arieli and A. Avron, Reasoning with logical bilattices, Journal of Logic, Language and Information 5 (1996), pp. 25–63. 
  2. [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. [3] S. P. Odintsov, On axiomatizing Shramko-Wansing’s logic, Studia Logica 91 (2009), pp. 407–428. 
  4. [4] A. Pietz and U. Rivieccio, Nothing but the truth, Journal of Philosophical Logic 42 (2013), pp. 125–135. 
  5. [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. [6] M. Takano, Gentzenization of trilattice logics, Studia Logica 104 (2016), pp. 917–929. 

NotesEmbed ?

top

You must be logged in to post comments.