Open AccessLÓGICA MODAL DO OPERADOR DE CONSEQUÊNCIA: HISTÓRICO, REPRESENTAÇÃO POLINOMIAL E DECIDIBILIDADE
Author(s) -
Hércules de Araújo Feitosa,
Bauru
Publication year - 2015
Publication title -
kínesis
Language(s) - Portuguese
Resource type - Journals
ISSN - 1984-8900
DOI - 10.36311/1984-8900.2014.v6n12.4793
Subject(s) - humanities , mathematics , modal , philosophy , materials science , polymer chemistry
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.