Lógica modal do operador de consequência: histórico, representação polinomial e decidibilidade



Título del documento: Lógica modal do operador de consequência: histórico, representação polinomial e decidibilidade
Revue: Kinesis (Marilia)
Base de datos: CLASE
Número de sistema: 000406504
ISSN: 1984-8900
Autores: 1
1
Instituciones: 1Universidade Estadual Paulista "Julio de Mesquita Filho", Faculdade de Ciencias, Sao Paulo. Brasil
Año:
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
Texte intégral: Texto completo (Ver PDF)