A Neighbourhood Semantics for the Logic TK

Detalhes bibliográficos
Autor(a) principal: Mortari, Cezar A.
Data de Publicação: 2011
Outros Autores: Feitosa, Hércules de Araújo
Tipo de documento: Artigo
Idioma: por
Título da fonte: Principia (Florianópolis. Online)
Texto Completo: https://periodicos.ufsc.br/index.php/principia/article/view/1808-1711.2011v15n2p287
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 UFSC-5_5fcd3525b63400f8f85c5acdce86d1e7
oai_identifier_str oai:periodicos.ufsc.br:article/23377
network_acronym_str UFSC-5
network_name_str Principia (Florianópolis. Online)
repository_id_str
spelling A Neighbourhood Semantics for the Logic TKA Neighbourhood Semantics for the Logic TKThe 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. Federal University of Santa Catarina – UFSC2011-05-24info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionapplication/pdfhttps://periodicos.ufsc.br/index.php/principia/article/view/1808-1711.2011v15n2p28710.5007/1808-1711.2011v15n2p287Principia: an international journal of epistemology; Vol. 15 No. 2 (2011); 287Principia: an international journal of epistemology; Vol. 15 Núm. 2 (2011); 287Principia: an international journal of epistemology; v. 15 n. 2 (2011); 2871808-17111414-4247reponame:Principia (Florianópolis. Online)instname:Universidade Federal de Santa Catarina (UFSC)instacron:UFSCporhttps://periodicos.ufsc.br/index.php/principia/article/view/1808-1711.2011v15n2p287/21044Copyright (c) 2021 Cezar A. Mortari, Hércules de Araújo Feitosainfo:eu-repo/semantics/openAccessMortari, Cezar A.Feitosa, Hércules de Araújo2019-09-12T11:23:08Zoai:periodicos.ufsc.br:article/23377Revistahttps://periodicos.ufsc.br/index.php/principiaPUBhttps://periodicos.ufsc.br/index.php/principia/oaiprincipia@contato.ufsc.br||principia@contato.ufsc.br1808-17111414-4247opendoar:2019-09-12T11:23:08Principia (Florianópolis. Online) - Universidade Federal de Santa Catarina (UFSC)false
dc.title.none.fl_str_mv A Neighbourhood Semantics for the Logic TK
A Neighbourhood Semantics for the Logic TK
title A Neighbourhood Semantics for the Logic TK
spellingShingle A Neighbourhood Semantics for the Logic TK
Mortari, Cezar A.
title_short A Neighbourhood Semantics for the Logic TK
title_full A Neighbourhood Semantics for the Logic TK
title_fullStr A Neighbourhood Semantics for the Logic TK
title_full_unstemmed A Neighbourhood Semantics for the Logic TK
title_sort A Neighbourhood Semantics for the Logic TK
author Mortari, Cezar A.
author_facet Mortari, Cezar A.
Feitosa, Hércules de Araújo
author_role author
author2 Feitosa, Hércules de Araújo
author2_role author
dc.contributor.author.fl_str_mv Mortari, Cezar A.
Feitosa, Hércules de Araújo
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-05-24
dc.type.driver.fl_str_mv info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion
format article
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://periodicos.ufsc.br/index.php/principia/article/view/1808-1711.2011v15n2p287
10.5007/1808-1711.2011v15n2p287
url https://periodicos.ufsc.br/index.php/principia/article/view/1808-1711.2011v15n2p287
identifier_str_mv 10.5007/1808-1711.2011v15n2p287
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv https://periodicos.ufsc.br/index.php/principia/article/view/1808-1711.2011v15n2p287/21044
dc.rights.driver.fl_str_mv Copyright (c) 2021 Cezar A. Mortari, Hércules de Araújo Feitosa
info:eu-repo/semantics/openAccess
rights_invalid_str_mv Copyright (c) 2021 Cezar A. Mortari, Hércules de Araújo Feitosa
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Federal University of Santa Catarina – UFSC
publisher.none.fl_str_mv Federal University of Santa Catarina – UFSC
dc.source.none.fl_str_mv Principia: an international journal of epistemology; Vol. 15 No. 2 (2011); 287
Principia: an international journal of epistemology; Vol. 15 Núm. 2 (2011); 287
Principia: an international journal of epistemology; v. 15 n. 2 (2011); 287
1808-1711
1414-4247
reponame:Principia (Florianópolis. Online)
instname:Universidade Federal de Santa Catarina (UFSC)
instacron:UFSC
instname_str Universidade Federal de Santa Catarina (UFSC)
instacron_str UFSC
institution UFSC
reponame_str Principia (Florianópolis. Online)
collection Principia (Florianópolis. Online)
repository.name.fl_str_mv Principia (Florianópolis. Online) - Universidade Federal de Santa Catarina (UFSC)
repository.mail.fl_str_mv principia@contato.ufsc.br||principia@contato.ufsc.br
_version_ 1789435112484503552

Registros relacionados