ANALYSIS OF THE PARACONSISTENCY IN SOME LOGICS

Abstract. In Artificial Intelligence, as well as in data base updating or in the design of intelligent agents, it is necessary the use of contradictory information. For that, it is useful to direct our attention to paraconsistent logics. The goal of the present survey is to offer an initial analysis on paraconsistency in some logics like Pac, RM3, Lukasiewicz, G ′ 3. 1 INTRODUCTION TO PARACONSISTENCY This section is devoted to introduce the concepts and basic principles of paraconsistency, as well as its properties. Definition 1. [2] Given a set, F or, of formulas, we say that ⊢ defines a consequence relation on F or if it is such that ⊢ ⊆ P (F or) × F or, and if the followin