Click Here ">
Make your own free website on Tripod.com
« June 2007 »
S M T W T F S
1 2
3 4 5 6 7 8 9
10 11 12 13 14 15 16
17 18 19 20 21 22 23
24 25 26 27 28 29 30
You are not logged in. Log in
Entries by Topic
All topics  «
Counterfactuals
defl@tionism
GENERAL LOGIC
HUMAN SEMANTICS
Interconnections
PARACONSISTENCY
Polemics
SCIENCE & NEWS
Cognition & Epistemology
Notes on Pirah?
Ontology&possible worlds
PRAGMATICS
PROPAEDEUTICS
Syn-Sem Interface
Temporal Logic
Blog Tools
Edit your Blog
Build a Blog
RSS Feed
View Profile
Translate this
INTO JAPANESE
BROTHER BLOG
MAIEUTIKOS
LINGUISTIX&LOGIK, Tony Marmo's blog
Monday, 4 June 2007

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

View Latest Entries