Palavra-chave: LOGIC

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