LÓGICA MODAL DO OPERADOR DE CONSEQUÊNCIA: HISTÓRICO, REPRESENTAÇÃO POLINOMIAL E DECIDIBILIDADE
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 so...
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | Portuguese |
| Published: |
Universidade Estadual Paulista (UNESP)
2014-12-01
|
| Series: | Kínesis |
| Subjects: | |
| Online Access: | https://revistas.marilia.unesp.br/index.php/kinesis/article/view/4793 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Summary: | 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.
|
|---|---|
| ISSN: | 1984-8900 |