Answers are grounded in this paper and cite their sources.
We introduce a uniform non-deterministic semantics for the hierarchy of paraconsistent systems mbC n introduced by Ciuciura.The proposed construction generalizes Omori's three-valued semantics for mbC 1 to all systems of the hierarchy.We prove soundness and completeness of the semantics with respect to the corresponding axiomatizations and show that the consequence relations of the systems mbC n cannot be characterized by finite deterministic matrices.
No takes yet. Share an insight, caveat, or question.
Drozdowska et al. (2026) studied this question.
Synapse has enriched 10 related papers. Consider them for comparative context: