Palavra-chave: PARACONSISTENT LOGICS

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