TY - JOUR
AU - Omori, Hitoshi
AU - Waragai, Toshiharu
PY - 2009/03/15
Y2 - 2023/11/30
TI - On Béziau’s logic Z
JF - Logic and Logical Philosophy
JA - LLP
VL - 17
IS - 4
SE - Articles
DO - 10.12775/LLP.2008.017
UR - https://apcz.umk.pl/LLP/article/view/LLP.2008.017
SP - 305-320
AB - In [1] Béziau developed the paraconsistent logic Z, which is definitionally equivalent to the modal logic S5 (cf. Remark 2.3), and gave an axiomatization of the logic Z: the system HZ. In the present paper, we prove that some axioms of HZ are not independent and then propose another axiomatization of Z. We also discuss a new perspective on the relation between S5 and classical propositional logic (CPL) with the help of the new axiomatization of Z. Then we conclude the paper by making a remark on the paraconsistency of HZ.
ER -