Semântica algébrica equivalente para a lógica da inconsistência epistêmica

Abstract

To algebraize a logic consists in defining an algebra from the deductive system such that this algebra represents the behavior of the logic regarding deductions and general properties. This allows, for instance, the use of theories on algebraic equations for the study of deductive systems. The methods known as Lindembaum-Tarski and Blok and Pigozzi are possibly the two most well known in the literature for this task. In this dissertation it is discussed the algebrization by these two processes and it is given an equivalent algebraic semantics for the Logic of the Epistemic Inconsistency. which is a logic useful to model situations and problems of common sense and default reasoning in Artificial Intelligence.