Abstract

Genuine Paraconsistent logics \ and \ were defined in 2016 by Béziau et al, including only three logical connectives, namely, negation disjunction and conjunction. Afterwards in 2017 Hernández-Tello et al, provide implications for both logics and define the logics \ and \. In this work we continue the study of these logics, providing sound and complete Hilbert-type axiomatic systems for each logic. We prove among other properties that \ and \ satisfy a restricted version of the Substitution Theorem, and that both of them are maximal with respect to Classical Propositional Logic. To conclude we make some comparisons between \ and \ and among other logics, for instance \ and some \s.