Palavra-chave: LOGIC

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