Axiomatisations of the Genuine Three-Valued Paraconsistent Logics $\mathbf {L3A_G}$ and $\mathbf {L3B_G}$

Alejandro Hernández-Tello, Miguel Pérez-Gaspar, Verónica Borja Macías. Axiomatisations of the Genuine Three-Valued Paraconsistent Logics $\mathbf {L3A_G}$ and $\mathbf {L3B_G}$. Logica Universalis, 15(1):87-121, 2021. [doi]

Abstract

Abstract is missing.