The paraconsistent logic Z. A possible solution to Jaśkowski’s problem

Abstract

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