an axiomatization of g0 - ceur-ws.org.pdfVIP

An Axiomatization of G 3 1 2 2 2 Mauricio Osorio , Jos´e R. Arrazola , Jos´e L. Carballido , and Oscar Estrada 1 Universidad de las Am´ericas - Puebla, osoriomauri@ 2 Benem´erita Universidad Aut´onoma de Puebla, Mathematics Department, {arrazola,carballido}@fcfm.buap.mx,oestrada2005@ Abstract. We present a Hilbert-style axiomatization of a paraconsistent logic, called G , recently introduced. G is based on a 3-valued seman- 3 3 tics. We prove a soundness and completeness theorem. The replacement theorem holds in G . As it has already been shown in previous work, G 3 3 can express some nonmonotonic semantics. 1 Introduction A 3-valued logic called G has been recently introduced to define a new semantics 3 for nonmonotonic reasoning [8]. Hence it is important to study such logic. As far as we know there is no axiomatization of G . Here, we present a Hilbert-style 3 axiomatization of G . We prove a soundness and completeness theorem, and also 3 that the replacement theorem holds in G . 3 The structure of our paper is as follows. Section 2 describes the general background of the paper including the definition of G logic. In Section 3 we 3 present our proofs. Finally, in Section 4 we present the conclusions