Logic TK: Algebraic Notions from Tarski’s Consequence Operator
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...
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Universidade Federal de Santa Catarina
2010-01-01
|
| Series: | Principia: An International Journal of Epistemology |
| Online Access: | https://periodicos.ufsc.br/index.php/principia/article/view/19662 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1849388623136292864 |
|---|---|
| author | Hércules A. Feitosa Mauri C. do Nascimento Maria Claudia C. Grácio |
| author_facet | Hércules A. Feitosa Mauri C. do Nascimento Maria Claudia C. Grácio |
| author_sort | Hércules A. Feitosa |
| collection | DOAJ |
| description | 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. |
| format | Article |
| id | doaj-art-03f85575bf874c7f92a26bbdcd74b040 |
| institution | Kabale University |
| issn | 1808-1711 |
| language | English |
| publishDate | 2010-01-01 |
| publisher | Universidade Federal de Santa Catarina |
| record_format | Article |
| series | Principia: An International Journal of Epistemology |
| spelling | doaj-art-03f85575bf874c7f92a26bbdcd74b0402025-08-20T03:42:14ZengUniversidade Federal de Santa CatarinaPrincipia: An International Journal of Epistemology1808-17112010-01-0114110.5007/1808-1711.2010v14n1p4715168Logic TK: Algebraic Notions from Tarski’s Consequence OperatorHércules A. Feitosa0Mauri C. do Nascimento1Maria Claudia C. Grácio2São Pauko State University – UNESP/FCSão Pauko State University - UNESP/FCSão Pauko State University - UNESP/FCTarski 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.https://periodicos.ufsc.br/index.php/principia/article/view/19662 |
| spellingShingle | Hércules A. Feitosa Mauri C. do Nascimento Maria Claudia C. Grácio Logic TK: Algebraic Notions from Tarski’s Consequence Operator Principia: An International Journal of Epistemology |
| title | Logic TK: Algebraic Notions from Tarski’s Consequence Operator |
| title_full | Logic TK: Algebraic Notions from Tarski’s Consequence Operator |
| title_fullStr | Logic TK: Algebraic Notions from Tarski’s Consequence Operator |
| title_full_unstemmed | Logic TK: Algebraic Notions from Tarski’s Consequence Operator |
| title_short | Logic TK: Algebraic Notions from Tarski’s Consequence Operator |
| title_sort | logic tk algebraic notions from tarski s consequence operator |
| url | https://periodicos.ufsc.br/index.php/principia/article/view/19662 |
| work_keys_str_mv | AT herculesafeitosa logictkalgebraicnotionsfromtarskisconsequenceoperator AT mauricdonascimento logictkalgebraicnotionsfromtarskisconsequenceoperator AT mariaclaudiacgracio logictkalgebraicnotionsfromtarskisconsequenceoperator |