Palavra-chave: PARACONSISTENT LOGIC

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