| Journal: | Kinesis (Marilia) |
| Database: | CLASE |
| System number: | 000406504 |
| ISSN: | 1984-8900 |
| Authors: | Feitosa, Hercules de Araujo1 Nascimento, Mauri Cunha de1 |
| Institutions: | 1Universidade Estadual Paulista "Julio de Mesquita Filho", Faculdade de Ciencias, Sao Paulo. Brasil |
| Year: | 2014 |
| Season: | Dic |
| Volumen: | 6 |
| Number: | 12 |
| Pages: | 17-37 |
| Country: | Brasil |
| Language: | Portugués |
| Document type: | Artículo |
| Approach: | Analítico |
| English abstract | This paper presents a short history of logic TK, which was originally mot i vated by the concept of Tarski’s consequence operator, its adequacy relative to Tarski Spaces and a characterization of TK as a non - normal modal logic. As nove lty, it shows how to interpret its fo r mulas in polynomials over some TK - algebra and discuss about the algebraic decidability of TK according this pol y nomial interpretation |
| Portuguese abstract | Este texto apresenta um breve histórico da lógica TK, originalmente motivada pelo conceito de operador de consequência de Tarski, a sua adequação segundo os Esp a ços de Tarski e uma caracterização como uma lógica modal não normal. Como novidade, mostra como inte r pretar suas fórmulas em polinômios sobre uma TK - álgebra e discorre sobre a decidibilidade a l gébrica de TK segundo esta interpretação polinomial |
| Disciplines: | Matemáticas, Filosofía |
| Keyword: | Matemáticas puras, Lógica, Operadores, Consecuencia, Tarski, Alfred, Logica modal, Algebra, Axiomatización, Algoritmos |
| Full text: | Texto completo (Ver PDF) |
