| Revista: | Kinesis (Marilia) |
| Base de datos: | CLASE |
| Número de sistema: | 000406504 |
| ISSN: | 1984-8900 |
| Autores: | Feitosa, Hercules de Araujo1 Nascimento, Mauri Cunha de1 |
| Instituciones: | 1Universidade Estadual Paulista "Julio de Mesquita Filho", Faculdade de Ciencias, Sao Paulo. Brasil |
| Año: | 2014 |
| Periodo: | Dic |
| Volumen: | 6 |
| Número: | 12 |
| Paginación: | 17-37 |
| País: | Brasil |
| Idioma: | Portugués |
| Tipo de documento: | Artículo |
| Enfoque: | Analítico |
| Resumen en inglés | 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 |
| Resumen en portugués | 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 |
| Disciplinas: | Matemáticas, Filosofía |
| Palabras clave: | Matemáticas puras, Lógica, Operadores, Consecuencia, Tarski, Alfred, Logica modal, Algebra, Axiomatización, Algoritmos |
| Texto completo: | Texto completo (Ver PDF) |
