Weakening and extending \(\mathbb{Z}\) (Q497880): Difference between revisions

This paper deals with some extensions and weakenings of paraconsistent logic \(\mathbb{Z}\). These logics include an intuitionistic negation which happens to be stronger than the da Costa negation and one weaker than L5. The paper gives the preliminary logics \(\mathbb{Z}\), a da Costa system and P-FOUR and discusses their Hilbert style theories. Then, it constructs a weakening and an extension of \(\mathbb{Z}\).