TY - JOUR
T1 - A note on Ciuciura's mbC1
AU - Omori, Hitoshi
N1 - Publisher Copyright:
© 2019 University of Lodz. All rights reserved.
PY - 2019
Y1 - 2019
N2 - This note offers a non-deterministic semantics for mbC1, introduced by Janusz Ciuciura, and establishes soundness and (strong) completeness results with respect to the Hilbert-style proof system. Moreover, based on the new semantics, we briefly discuss an unexplored variant of mbC1 which has a contra-classical flavor.
AB - This note offers a non-deterministic semantics for mbC1, introduced by Janusz Ciuciura, and establishes soundness and (strong) completeness results with respect to the Hilbert-style proof system. Moreover, based on the new semantics, we briefly discuss an unexplored variant of mbC1 which has a contra-classical flavor.
KW - Non-deterministic semantics contra-classical logic
KW - Paraconsistent logic
UR - http://www.scopus.com/inward/record.url?scp=85084848698&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85084848698&partnerID=8YFLogxK
U2 - 10.18778/0138-0680.48.3.01
DO - 10.18778/0138-0680.48.3.01
M3 - Article
AN - SCOPUS:85084848698
SN - 0138-0680
VL - 48
SP - 161
EP - 171
JO - Bulletin of the Section of Logic
JF - Bulletin of the Section of Logic
IS - 3
ER -