A Neighbourhood Semantics for the Logic TK
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...
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Universidade Federal de Santa Catarina
2011-05-01
|
| Series: | Principia: An International Journal of Epistemology |
| Online Access: | https://periodicos.ufsc.br/index.php/principia/article/view/23377 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1849388631556358144 |
|---|---|
| author | Cezar A. Mortari Hércules de Araújo Feitosa |
| author_facet | Cezar A. Mortari Hércules de Araújo Feitosa |
| author_sort | Cezar A. Mortari |
| collection | DOAJ |
| 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.
|
| format | Article |
| id | doaj-art-209e3917156f4bc2a228d2c86b352cf3 |
| institution | Kabale University |
| issn | 1808-1711 |
| language | English |
| publishDate | 2011-05-01 |
| publisher | Universidade Federal de Santa Catarina |
| record_format | Article |
| series | Principia: An International Journal of Epistemology |
| spelling | doaj-art-209e3917156f4bc2a228d2c86b352cf32025-08-20T03:42:14ZengUniversidade Federal de Santa CatarinaPrincipia: An International Journal of Epistemology1808-17112011-05-0115210.5007/1808-1711.2011v15n2p28717345A Neighbourhood Semantics for the Logic TKCezar A. Mortari0Hércules de Araújo Feitosa1Departamento de Filosofia Universidade Federal de Santa Catarina Campus Universitário – Trindade 88040-010 Florianópolis, SCDepartamento de Matemática Universidade Estadual Paulista (UNESP) Campus de Bauru 17033-360 Bauru, SP 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. https://periodicos.ufsc.br/index.php/principia/article/view/23377 |
| spellingShingle | Cezar A. Mortari Hércules de Araújo Feitosa A Neighbourhood Semantics for the Logic TK Principia: An International Journal of Epistemology |
| title | 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_short | A Neighbourhood Semantics for the Logic TK |
| title_sort | neighbourhood semantics for the logic tk |
| url | https://periodicos.ufsc.br/index.php/principia/article/view/23377 |
| work_keys_str_mv | AT cezaramortari aneighbourhoodsemanticsforthelogictk AT herculesdearaujofeitosa aneighbourhoodsemanticsforthelogictk AT cezaramortari neighbourhoodsemanticsforthelogictk AT herculesdearaujofeitosa neighbourhoodsemanticsforthelogictk |