Abstract
Béziau developed the paraconsistent logic , which is definitionally equivalent to the modal logic , and gave an axiomatization of the logic : the system HZ. Omori and Waragai proved that some axioms of HZ are not independent and then proposed another axiomatization for that includes two inference rules and helps to understand the relation between and classical propositional logic. In the present paper, we analyze logic in detail; in the process we also construct a family of paraconsistent logics that are characterized by different properties that are relevant in the study of logics.
Citation
Mauricio Osorio. José Luis Carballido. Claudia Zepeda. "Revisiting ." Notre Dame J. Formal Logic 55 (1) 129 - 155, 2014. https://doi.org/10.1215/00294527-2377905
Information