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