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

Hércules De Araújo FEITOSA (FC-UNESP/Bauru), Mauri Cunha do NASCIMENTO (FC-UNESP/Bauru)
2015 Kínesis. Revista de estudos dos pós-graduandos em filosofia da UNESP  
Este texto apresenta um breve histórico da lógica TK, originalmente motivada peloconceito 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.
doi:10.36311/1984-8900.2014.v6n12.4793 fatcat:ji5vio5rsvg5vicehq3wfm35vi