ArticleOriginal scientific text
Title
A Note on Ciuciura’s mbC1
Authors
Abstract
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
Pages:
161-171
Main language of publication
English
Published
2019
Humanities