Palavra-chave: PARACONSISTENT LOGICS

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