Undefinability of Standard sequent calculi for Paraconsistent three-valued logics
From MaRDI portal
Abstract: In this paper we study the deductive properties of a family of 3-valued paraconsistent logics. We define a notion of standard sequent calculus and prove that there is no sound and complete standard sequent calculus for these logics. Moreover, we provide non-standard sound, complete and cut free sequent calculus for Paraconsistent Weak Kleene Logic using three-sided sequents.
This page was built for publication: Undefinability of Standard sequent calculi for Paraconsistent three-valued logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6280441)
