Palavra-chave: PARACONSISTENT LOGIC

ANALYTICAL TABLEAUX DA COSTA SEMANTICS BRAZILIAN SCHOOL INTUITIONISTIC LOGIC PROPOSITIONAL LOGICS PIG PRODUCTION AXIOMATIZATIONS ALGEBRAIZATIONS LENGAJE SET THEORY MANY-VALUED LOGIC MODEL DEVELOPMENT LOGIC CONSERVATIVE TRANSLATIONS LOGIQUES CLASSIQUES LOGIQUES NON-CLASSIQUES MODAL LOGIC CLASSICAL LOGIC MACHINE LEARNING PROBABILITY THEORY APPLICATIONS DECIDABILITY RAISON HUMAINE DA COSTA'S WORK PARACONSISTENCY LÓGICA MULTIMODAL