Topic: GENERAL LOGIC
A propositional logic for Tarski's consequence operator
By Hércules de Araújo Feitosa, Mauri Cunha do Nascimento & Maria Claudia Cabrini Grácio
This paper presents the TK-algebras associated to Tarski's consequence operator and introduces the TK Logic. So it shows the adequacy (soundness and completeness) of TK Logic relative to the algebraic model given by TK-algebras.
Source: CLE e-prints Vol. 7(1), 2007
Posted by Tony Marmo
at 15:19 BST
Updated: Monday, 4 June 2007 15:37 BST
