Artigos
LÓGICA MODAL DO OPERADOR DE CONSEQUÊNCIA: HISTÓRICO, REPRESENTAÇÃO POLINOMIAL E DECIDIBILIDADE
Hércules de Araújo Feitosa, Mauri Cunha do Nascimento
Artigo
Ver fonte original- Autor
- Hércules de Araújo Feitosa, Mauri Cunha do Nascimento
- Revista
- Kínesis - Revista de Estudos dos Pós-Graduandos em Filosofia
- Edição
- 6 / 12
- Ano
- 2014
- DOI
- 10.36311/1984-8900.2014.v6n12.4793
- Páginas
- 17-37
- Idioma
- pt
2014Hércules de Araújo Feitosa, Mauri Cunha do Nascimento. LÓGICA MODAL DO OPERADOR DE CONSEQUÊNCIA: HISTÓRICO, REPRESENTAÇÃO POLINOMIAL E DECIDIBILIDADE. Kínesis - Revista de Estudos dos Pós-Graduandos em Filosofia, v. 6, n. 12, p. 17-37, 2014.2
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 Espaços de Tarski e uma caracterização como uma lógica modal não normal. Como novidade, mostra como interpretar suas fórmulas em polinômios sobre uma TK-álgebra e discorre sobre a decidibilidade algébrica de TK segundo esta interpretação polinomial.