Palavra-chave: LOGIC

RELATIONAL SYSTEMS KATZ, JERROLD JACOB SEMANTICS RHETORIC COMPUTATION SINN - BEDEUTUNG TABLEAUX PHILOSOPHY PARACONSISTENT LOGIC POLYNOMIAL DIOID DEVELOPMENT OF LOGIC IN BRAZIL MODELS LANGUAGE BI-COMPLETE CATEGORY EPISTEMOLOGY XI BRAZILIAN CONFERENCE APPLICATIONS ENCONTRO BRASILEIRO DE LÓGICA LOGICAL FORMS KNOWLEDGE BOOLE CONTROVERSIES TRANSLATION ANDRES RAGGIO INCONSISTENCY ALGEBRAIC TRADICTION HISTORIA PARACONSISTENT DISCRETE EVENT GRADUATE PROGRAM POLYNOMIZING PARACONSISTENCY INFORMATION CONSEQUENCE OPERATORS