Palavra-chave: PARACONSISTENT LOGICS

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