Geodesic
A Note on Ciuciura’s mbC1
Bulletin of the Section of Logic, Tome 48 (2019) no. 3, pp. 161-171

Voir la notice de l'article provenant de la source Library of Science

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.
Keywords: paraconsistent logic, non-deterministic semantics contra-classical logic 
@article{BSL_2019_48_3_a0,
     author = {Omori, Hitoshi},
     title = {A {Note} on {Ciuciura{\textquoteright}s} {mbC1}},
     journal = {Bulletin of the Section of Logic},
     pages = {161--171},
     publisher = {mathdoc},
     volume = {48},
     number = {3},
     year = {2019},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/BSL_2019_48_3_a0/}
}
TY  - JOUR
AU  - Omori, Hitoshi
TI  - A Note on Ciuciura’s mbC1
JO  - Bulletin of the Section of Logic
PY  - 2019
SP  - 161
EP  - 171
VL  - 48
IS  - 3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/BSL_2019_48_3_a0/
LA  - en
ID  - BSL_2019_48_3_a0
ER  - 
%0 Journal Article
%A Omori, Hitoshi
%T A Note on Ciuciura’s mbC1
%J Bulletin of the Section of Logic
%D 2019
%P 161-171
%V 48
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/BSL_2019_48_3_a0/
%G en
%F BSL_2019_48_3_a0
Omori, Hitoshi. A Note on Ciuciura’s mbC1. Bulletin of the Section of Logic, Tome 48 (2019) no. 3, pp. 161-171. http://geodesic.mathdoc.fr/item/BSL_2019_48_3_a0/