Palavra-chave: PARACONSISTENT LOGICS

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