Red de Bibliotecas Virtuales de Ciencias Sociales en
América Latina y el Caribe
Por favor, use este identificador para citar o enlazar este ítem:
https://biblioteca-repositorio.clacso.edu.ar/handle/CLACSO/70983| Título : | LÓGICA MODAL DO OPERADOR DE CONSEQUÊNCIA: HISTÓRICO, REPRESENTAÇÃO POLINOMIAL E DECIDIBILIDADE |
| Palabras clave : | Operador de Consequência de Tarski;Lógica TK;TK-Álgebras;Polinômios;Decidibilidade |
| Editorial : | Faculdade de Filosofia e Ciências |
| Descripción : | 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. |
| URI : | http://biblioteca-repositorio.clacso.edu.ar/handle/CLACSO/70983 |
| Otros identificadores : | https://revistas.marilia.unesp.br/index.php/kinesis/article/view/4793 10.36311/1984-8900.2014.v6n12.4793 |
| Aparece en las colecciones: | Faculdade de Filosofia e Ciências - FFC/UNESP - Cosecha |
Ficheros en este ítem:
No hay ficheros asociados a este ítem.
Los ítems de DSpace están protegidos por copyright, con todos los derechos reservados, a menos que se indique lo contrario.