Aumentar a expressividade de um sistema lógico é um objetivo de muitos campos na Ciência da Computação como o de Sistemas Formais, Construção de Co- nhecimento, Linguística, Lógica Universal e Teoria dos modelos. O aumento ...

The logic TK was introduced as a propositional logic extending the classical propositional calculus with a new unary operator which interprets some conceptions of Tarski’s consequence operator. TK-algebras were introduced ...