ISSN 1519-9681
ARTICLES
 		EDITORIAL BOARD
 		RULES AND INSTRUCTIONS
 		SITES POINTING TO CLE e-PRINTS

Articles



Vol. 7(3), 2007

Vol. 7(2), 2007

Vol. 7(1), 2007

Vol. 7(1), 2007 - Section Logic

A propositional logic for Tarski's consequence operator
Hércules de Araújo Feitosa (1)
Mauri Cunha do Nascimento (1)
Maria Claudia Cabrini Grácio (2)
(1) UNESP - FC - BAURU
(2) UNESP - FFC - MARÍLIA
Date Posted: May, 21st 2007                                      Download Files:  [PDF]
ABSTRACT: This paper presents the TK-algebras associated to the 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 the TK-algebras.
|   Home   |   2008   |   2007   |    2005   |   2004   |   2003   |   2002   |   2001   |
© 2006 - Centre for Logic, Epistemology and the History of Science – CLE