Logic TK: Algebraic Notions from Tarski's Consequence Operator

Abstract
Tarski apresentou sua definição de operador de consequência com a intenção de expor as concepções fundamentais da consequência lógica. Um espaço de Tarski é um par ordenado determinado por um conjunto não vazio e um operador de consequência sobre este conjunto. Esta estrutura matemática caracteriza um espaço quase topológico. Este artigo mostra uma visão algébrica dos espaços de Tarski e introduz uma lógica proposicional modal que interpreta o seu operador modal nos conjuntos fechados de algum espaço de Tarski. DOI:10.5007/1808-1711.2010v14n1p47
Keywords Espaço de Tarski  algebraic model.  consequence operator  almost topological space  Tarski space  modelo algébrico.  lógica modal  operador de consequência  espaço quase topológico  modal logic
Categories (categorize this paper)
Reprint years 2011
DOI 10.5007/1808-1711.2010v14n1p47
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 35,829
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

A Neighbourhood Semantics for the Logic TK.Cezar A. Mortari & Hércules de Araújo Feitosa - 2011 - Principia: An International Journal of Epistemology 15 (2):287.
Ray on Tarski on Logical Consequence.William H. Hanson - 1999 - Journal of Philosophical Logic 28 (6):605-616.
What is Tarski's Common Concept of Consequence?Ignacio Jané - 2006 - Bulletin of Symbolic Logic 12 (1):1-42.
On a Fallacy Attributed to Tarski.Mario Gómez-Torrente - 1998 - History and Philosophy of Logic 19 (4):227-234.
On Tarski on Models.Timothy Bays - 2001 - Journal of Symbolic Logic 66 (4):1701-1726.
Etchemendy, Tarski, and Logical Consequence.Jared Bates - 1999 - Southwest Philosophy Review 15 (1):47-54.
Logical Consequence: A Defense of Tarski.Greg Ray - 1996 - Journal of Philosophical Logic 25 (6):617 - 677.
Etchemendy and Bolzano on Logical Consequence.Paul Rusnock & Mark Burke - 2010 - History and Philosophy of Logic 31 (1):3-29.
Was Tarski's Theory of Truth Motivated by Physicalism?Greg Frost-Arnold - 2004 - History and Philosophy of Logic 25 (4):265-280.
Tarski on Logical Notions.Luca Bellotti - 2003 - Synthese 135 (3):401 - 413.

Analytics

Added to PP index
2013-04-12

Total downloads
11 ( #497,803 of 2,293,786 )

Recent downloads (6 months)
5 ( #108,109 of 2,293,786 )

How can I increase my downloads?

Monthly downloads

My notes

Sign in to use this feature