Por uma lógica S entendemos um par (L, 1-s) onde L é um conjunto de conectivos e 1-s é o símbolo para a relação de consequência de S. Por matriz semântica M entendemos um par (A, D), onde A é uma estrutura algébrica e D é um conjunto de valores designados. Neste trabalho caracterizamos a relação de consequência semântica em M (F M) como um polinômio na álgebra A.

By a logic S we understand a pair (L, 1-s) where L is a set of connectives and 1-s is a symbol for the consequence relation of S. By semantic matrix M we understand a pair (A, D), where A is a algebraic structure and D is a set of designated values. ln this work we caracterize the consequence relation on M (1= M) as a polynomial over the algebra A.