The paraconsistent logic Z. A possible solution to Jaśkowski’s problem
Jean-Yves Béziau · Logic and Logical Philosophy · 2006
We present a paraconsistent logic, called Z, based on an intuitive possible worlds semantics, in which the replacement theorem holds. We show how to axiomatize this logic and prove the completeness theorem.