Palavra-chave: PARACONSISTENT LOGIC

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