Palavra-chave: PARACONSISTENT LOGICS

NON-DETERMINISTIC MATRICES TRANSLATIONS LOGICS DA COSTA'S SYSTEMS DA COSTA'S HIERARCHY OF LOGICS ALGEBRAIC LOGIC SYSTEMS J3, P1, I1 APPLICATIONS CONSERVATIVE TRANSLATIONS ANALYTICAL TABLEAUX SWAP STRUCTURES MODAL LOGICS DECIDABILITY PARACONSISTENCY NATURAL DEDUCTION DA COSTA LOGIC AND SHEAVES MANY-VALUED LOGICS CUT ELIMINATION THEOREM NON-DETERMINISTIC SEMANTICS DA COSTA'S COMBINING LOGICS LOGICAL SYSTEMS DA COSTA SYSTEMS NON-CLASSICAL LOGICS