Palavra-chave: PARACONSISTENT LOGIC

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