A neighbourhood semantic for the Logic TK

Detalhes bibliográficos
Autor(a) principal: Mortari, Cezar Augusto
Data de Publicação: 2011
Outros Autores: Feitosa, Hércules de Araujo [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.2011v15n2p287
http://hdl.handle.net/11449/134645
Resumo: The logic TK was introduced as a propositional logic extending the classical propositional calculus with a new unary operator which interprets some conceptions of Tarski’s consequence operator. TK-algebras were introduced as models to TK. Thus, by using algebraic tools, the adequacy (soundness and completeness) of TK relatively to the TK-algebras was proved. This work presents a neighbourhood semantics for TK, which turns out to be deductively equivalent to the non-normal modal logic EMT4.
id UNSP_a29628d5f32cae7b4068c226228f0115
oai_identifier_str oai:repositorio.unesp.br:11449/134645
network_acronym_str UNSP
network_name_str Repositório Institucional da UNESP
repository_id_str 2946
spelling A neighbourhood semantic for the Logic TKConsequence operatorTK algebraTK logicNeighbourhood semanticsOperador de consequênciaÁlgebra TKLógica TKSemântica de vizinhançasThe logic TK was introduced as a propositional logic extending the classical propositional calculus with a new unary operator which interprets some conceptions of Tarski’s consequence operator. TK-algebras were introduced as models to TK. Thus, by using algebraic tools, the adequacy (soundness and completeness) of TK relatively to the TK-algebras was proved. This work presents a neighbourhood semantics for TK, which turns out to be deductively equivalent to the non-normal modal logic EMT4.A lógica TK foi introduzida como uma lógica proposicional estendendo o cálculo proposicional clássico com um novo operador unário que interpreta algumas concepções do operador de consequência de Tarski. TK-álgebras foram introduzidas como modelos para TK. Assim, usando ferramentas algébricas, foi demonstrada a adequação (correção e completude) de TK relativamente às TK-álgebras. Este trabalho apresenta uma semântica de vizinhanças para TK, lógica que resulta ser dedutivamente equivalente à lógica modal não normal EMT4.Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)Universidade Federal de Santa Catarina (UFSC), Departamento de Filosofia, Florianópolis, SC, BrasilUniversidade Estadual Paulista Júlio de Mesquita Filho (UNESP), Faculdade de Ciências (FC), Departamento de Matemática, Bauru, SP, BrasilUniversidade Estadual Paulista Júlio de Mesquita Filho (UNESP), Faculdade de Ciências (FC), Departamento de Matemática, Bauru, SP, BrasilFAPESP: 2004/14107-2Universidade Federal de Santa Catarina (UFSC)Universidade Estadual Paulista (Unesp)Mortari, Cezar AugustoFeitosa, Hércules de Araujo [UNESP]2016-03-02T12:57:48Z2016-03-02T12:57:48Z2011info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/article287-302application/pdfhttp://dx.doi.org/10.5007/1808-1711.2011v15n2p287Principia, v. 15, n. 2, p. 287-302, 2011.1414-4247http://hdl.handle.net/11449/13464510.5007/1808-1711.2011v15n2p287ISSN1414-4247-2011-15-02-287-302.pdf0739734390426687Currículo Lattesreponame:Repositório Institucional da UNESPinstname:Universidade Estadual Paulista (UNESP)instacron:UNESPengPrincipiainfo:eu-repo/semantics/openAccess2024-04-29T14:59:29Zoai:repositorio.unesp.br:11449/134645Repositório InstitucionalPUBhttp://repositorio.unesp.br/oai/requestopendoar:29462024-08-05T15:45:50.320616Repositório Institucional da UNESP - Universidade Estadual Paulista (UNESP)false
dc.title.none.fl_str_mv A neighbourhood semantic for the Logic TK
title A neighbourhood semantic for the Logic TK
spellingShingle A neighbourhood semantic for the Logic TK
Mortari, Cezar Augusto
Consequence operator
TK algebra
TK logic
Neighbourhood semantics
Operador de consequência
Álgebra TK
Lógica TK
Semântica de vizinhanças
title_short A neighbourhood semantic for the Logic TK
title_full A neighbourhood semantic for the Logic TK
title_fullStr A neighbourhood semantic for the Logic TK
title_full_unstemmed A neighbourhood semantic for the Logic TK
title_sort A neighbourhood semantic for the Logic TK
author Mortari, Cezar Augusto
author_facet Mortari, Cezar Augusto
Feitosa, Hércules de Araujo [UNESP]
author_role author
author2 Feitosa, Hércules de Araujo [UNESP]
author2_role author
dc.contributor.none.fl_str_mv Universidade Federal de Santa Catarina (UFSC)
Universidade Estadual Paulista (Unesp)
dc.contributor.author.fl_str_mv Mortari, Cezar Augusto
Feitosa, Hércules de Araujo [UNESP]
dc.subject.por.fl_str_mv Consequence operator
TK algebra
TK logic
Neighbourhood semantics
Operador de consequência
Álgebra TK
Lógica TK
Semântica de vizinhanças
topic Consequence operator
TK algebra
TK logic
Neighbourhood semantics
Operador de consequência
Álgebra TK
Lógica TK
Semântica de vizinhanças
description The logic TK was introduced as a propositional logic extending the classical propositional calculus with a new unary operator which interprets some conceptions of Tarski’s consequence operator. TK-algebras were introduced as models to TK. Thus, by using algebraic tools, the adequacy (soundness and completeness) of TK relatively to the TK-algebras was proved. This work presents a neighbourhood semantics for TK, which turns out to be deductively equivalent to the non-normal modal logic EMT4.
publishDate 2011
dc.date.none.fl_str_mv 2011
2016-03-02T12:57:48Z
2016-03-02T12:57:48Z
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.2011v15n2p287
Principia, v. 15, n. 2, p. 287-302, 2011.
1414-4247
http://hdl.handle.net/11449/134645
10.5007/1808-1711.2011v15n2p287
ISSN1414-4247-2011-15-02-287-302.pdf
0739734390426687
url http://dx.doi.org/10.5007/1808-1711.2011v15n2p287
http://hdl.handle.net/11449/134645
identifier_str_mv Principia, v. 15, n. 2, p. 287-302, 2011.
1414-4247
10.5007/1808-1711.2011v15n2p287
ISSN1414-4247-2011-15-02-287-302.pdf
0739734390426687
dc.language.iso.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv Principia
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv 287-302
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
_version_ 1808128559488696320

Registros relacionados