Palavra-chave: LOGIC

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