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