Voltar
Artigo Acesso aberto Produção Nacional Revisado por pares
BIBTEX RIS

LÓGICA MODAL DO OPERADOR DE CONSEQUÊNCIA: HISTÓRICO, REPRESENTAÇÃO POLINOMIAL E DECIDIBILIDADE

2014; Volume: 6; Issue: 12 Linguagem: Português

10.36311/1984-8900.2014.v6n12.4793

ISSN

1984-8900

Autores

Hércules de Araújo Feitosa, Mauri Cunha do Nascimento,

Tópico(s)

Advanced Algebra and Logic

Resumo

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.

Referência(s)