2 papers
cs.LO2026
Paraclassical Logics with Two Negations
Pawel Pawlowski, Pietro Vigiani
We study three paraclassical propositional logics with two negations, CLoaN, CLouN, and CLauN, obtained by pairwise combining the one-negation systems CLuN, CLaN, and CLoN. CLuN's…
cs.LO2026
Uniform Non-Deterministic Semantics for Ciuciura's -Hierarchy
Ela Drozdowska, Pawel Pawlowski
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-val…