Logic TK: algebric notions from Tarski's consequence operator

Detalhes bibliográficos
Autor(a) principal: Feitosa, Hércules de Araujo [UNESP]
Data de Publicação: 2010
Outros Autores: Nascimento, Mauri Cunha do [UNESP], Grácio, Maria Cláudia Cabrini [UNESP]
Tipo de documento: Artigo
Idioma: eng
Título da fonte: Repositório Institucional da UNESP
Texto Completo: http://dx.doi.org/10.5007/1808-1711.2010v14n1p47
http://hdl.handle.net/11449/115226
Resumo: Tarski presented his definition of consequence operator to explain the most important notions which any logical consequence concept must contemplate. A Tarski space is a pair constituted by a nonempty set and a consequence operator. This structure characterizes an almost topological space. This paper presents an algebraic view of the Tarski spaces and introduces a modal propositional logic which has as a model exactly the closed sets of a Tarski space.
id UNSP_17a0a54b3d0c2c92e58de65532cf2aa0
oai_identifier_str oai:repositorio.unesp.br:11449/115226
network_acronym_str UNSP
network_name_str Repositório Institucional da UNESP
repository_id_str 2946
spelling Logic TK: algebric notions from Tarski's consequence operatorTarski spaceAlmost topological spaceConsequence operatorModal logicAlgebraic modelEspaço de TarskiEspaço quase topológicoOperador de consequênciaLógica modalModelo algébricoTarski presented his definition of consequence operator to explain the most important notions which any logical consequence concept must contemplate. A Tarski space is a pair constituted by a nonempty set and a consequence operator. This structure characterizes an almost topological space. This paper presents an algebraic view of the Tarski spaces and introduces a modal propositional logic which has as a model exactly the closed sets of a Tarski space.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.Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)Universidade Estadual Paulista Júlio de Mesquita Filho, Departamento de Psicologia da Educação, Faculdade de Filosofia e Ciências - Campus de Marília, Marilia, Av. Hygino Muzzi Filho, 737, Campus Universitário, CEP 17525900, SP, BrasilUniversidade Estadual Paulista Júlio de Mesquita Filho, Departamento de Psicologia da Educação, Faculdade de Filosofia e Ciências - Campus de Marília, Marilia, Av. Hygino Muzzi Filho, 737, Campus Universitário, CEP 17525900, SP, BrasilUniversidade Estadual Paulista (Unesp)Feitosa, Hércules de Araujo [UNESP]Nascimento, Mauri Cunha do [UNESP]Grácio, Maria Cláudia Cabrini [UNESP]2015-02-24T13:57:53Z2015-02-24T13:57:53Z2010info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/article47-70application/pdfhttp://dx.doi.org/10.5007/1808-1711.2010v14n1p47Principia, v. 14, n. 1, p. 47-70, 2010.1808-1711http://hdl.handle.net/11449/11522610.5007/1808-1711.2010v14n1p47ISSN18081711-2010-14-01-47-70.pdf517068830097000607397343904266875041601185655195Currículo Lattesreponame:Repositório Institucional da UNESPinstname:Universidade Estadual Paulista (UNESP)instacron:UNESPengPrincipia0,103info:eu-repo/semantics/openAccess2024-04-29T14:59:54Zoai:repositorio.unesp.br:11449/115226Repositório InstitucionalPUBhttp://repositorio.unesp.br/oai/requestrepositoriounesp@unesp.bropendoar:29462024-04-29T14:59:54Repositório Institucional da UNESP - Universidade Estadual Paulista (UNESP)false
dc.title.none.fl_str_mv Logic TK: algebric notions from Tarski's consequence operator
title Logic TK: algebric notions from Tarski's consequence operator
spellingShingle Logic TK: algebric notions from Tarski's consequence operator
Feitosa, Hércules de Araujo [UNESP]
Tarski space
Almost topological space
Consequence operator
Modal logic
Algebraic model
Espaço de Tarski
Espaço quase topológico
Operador de consequência
Lógica modal
Modelo algébrico
title_short Logic TK: algebric notions from Tarski's consequence operator
title_full Logic TK: algebric notions from Tarski's consequence operator
title_fullStr Logic TK: algebric notions from Tarski's consequence operator
title_full_unstemmed Logic TK: algebric notions from Tarski's consequence operator
title_sort Logic TK: algebric notions from Tarski's consequence operator
author Feitosa, Hércules de Araujo [UNESP]
author_facet Feitosa, Hércules de Araujo [UNESP]
Nascimento, Mauri Cunha do [UNESP]
Grácio, Maria Cláudia Cabrini [UNESP]
author_role author
author2 Nascimento, Mauri Cunha do [UNESP]
Grácio, Maria Cláudia Cabrini [UNESP]
author2_role author
author
dc.contributor.none.fl_str_mv Universidade Estadual Paulista (Unesp)
dc.contributor.author.fl_str_mv Feitosa, Hércules de Araujo [UNESP]
Nascimento, Mauri Cunha do [UNESP]
Grácio, Maria Cláudia Cabrini [UNESP]
dc.subject.por.fl_str_mv Tarski space
Almost topological space
Consequence operator
Modal logic
Algebraic model
Espaço de Tarski
Espaço quase topológico
Operador de consequência
Lógica modal
Modelo algébrico
topic Tarski space
Almost topological space
Consequence operator
Modal logic
Algebraic model
Espaço de Tarski
Espaço quase topológico
Operador de consequência
Lógica modal
Modelo algébrico
description Tarski presented his definition of consequence operator to explain the most important notions which any logical consequence concept must contemplate. A Tarski space is a pair constituted by a nonempty set and a consequence operator. This structure characterizes an almost topological space. This paper presents an algebraic view of the Tarski spaces and introduces a modal propositional logic which has as a model exactly the closed sets of a Tarski space.
publishDate 2010
dc.date.none.fl_str_mv 2010
2015-02-24T13:57:53Z
2015-02-24T13:57:53Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/article
format article
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://dx.doi.org/10.5007/1808-1711.2010v14n1p47
Principia, v. 14, n. 1, p. 47-70, 2010.
1808-1711
http://hdl.handle.net/11449/115226
10.5007/1808-1711.2010v14n1p47
ISSN18081711-2010-14-01-47-70.pdf
5170688300970006
0739734390426687
5041601185655195
url http://dx.doi.org/10.5007/1808-1711.2010v14n1p47
http://hdl.handle.net/11449/115226
identifier_str_mv Principia, v. 14, n. 1, p. 47-70, 2010.
1808-1711
10.5007/1808-1711.2010v14n1p47
ISSN18081711-2010-14-01-47-70.pdf
5170688300970006
0739734390426687
5041601185655195
dc.language.iso.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv Principia
0,103
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv 47-70
application/pdf
dc.source.none.fl_str_mv Currículo Lattes
reponame:Repositório Institucional da UNESP
instname:Universidade Estadual Paulista (UNESP)
instacron:UNESP
instname_str Universidade Estadual Paulista (UNESP)
instacron_str UNESP
institution UNESP
reponame_str Repositório Institucional da UNESP
collection Repositório Institucional da UNESP
repository.name.fl_str_mv Repositório Institucional da UNESP - Universidade Estadual Paulista (UNESP)
repository.mail.fl_str_mv repositoriounesp@unesp.br
_version_ 1826304555369889792

Registros relacionados