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

Autores

  • Hércules de Araújo Feitosa Professor do Departamento de Matemática da Universidade Estadual Paulista (Unesp), Campus de Bauru
  • Mauri Cunha do Nascimento Professor do Departamento de Matemática da Universidade Estadual Paulista (Unesp), Campus de Bauru

DOI:

https://doi.org/10.36311/1984-8900.2014.v6n12.4793

Palavras-chave:

Operador de Consequência de Tarski, Lógica TK, TK-Álgebras, Polinômios, Decidibilidade

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.

Downloads

Os dados de download ainda não estão disponíveis.

Referências

AGUDELO, J. C.; CARNIELLI, W. Polynomial ring calculus for modal logics: a new semantics and proof method for modalities. The Review of Symbolic Logic, v. 4, p. 150-170, 2011.

BELL, J. L.; MACHOVER, M. A course in mathematical logic. Amsterdam: NorthHolland, 1977.

BLACKBURN, P.; RIJKE, M.; VENEMA, Y. Modal logic. Cambridge: Cambridge University Press, 2001.

CARNIELLI, W. A.; PIZZI, C. Modalità e multimodalità. Milano: Franco Angeli, 2001.

CHAGROV, A.; ZAKHARYASCHEV, M. Modal logic. Oxford: Clarendon Press, 1997.

EBBINGHAUS, H. D.; FLUM, J.; THOMAS, W. Mathematical logic. New York: Springer-Verlag, 1984.

FEITOSA, H. A.; PAULOVICH, L. Um prelúdio à Lógica. São Paulo: Editora UNESP, 2005.

FEITOSA, H. A.; NASCIMENTO, M. C.; GRÁCIO, M. C. C. Logic TK: algebraic notions from Tarki's consequence operator. Principia, v. 14, p. 47-70, 2010.

FEITOSA, H. A.; NASCIMENTO, M. C.; SOARES, M. R. Models for the logic of Tarski consequence operator. In: Cezar A. Mortari. (Org.). Tópicos de lógicas não clássicas. Florianópolis: NEL/UFSC, p. 125-137, 2014.

GÓLZIO, A. C. J.; RODRIGUES, A. P. A lógica TK em dedução natural, cálculo de sequentes e tableaux. Kinesis, v. II, n. 4, p. 285-311, 2010.

MENDELSON, E. Introduction to mathematical logic. 3. ed. Monterey, CA: Wadsworth & Brooks/Cole Advanced Books & Software, 1987.

MIRAGLIA, F. Cálculo proposicional: uma interação da álgebra e da lógica. Campinas: UNICAMP/CLE, 1987. (Coleção CLE, v. 1)

MORTARI, C. A.; FEITOSA, H. A. A neighbourhood semantic for the Logic TK. Principia, v. 15, p. 287-302, 2011.

NASCIMENTO, M. C.; FEITOSA, H. A. As álgebras dos operadores de consequência. Revista de Matemática e Estatística, v. 23, n. 1, p. 19-30, 2005..

RASIOWA, H. An algebraic approach to non-classical logics. Amsterdam: NorthHolland, 1974

Downloads

Publicado

2014-12-18

Edição

v. 6 n. 12 (2014)

Seção

Artigos

Licença

Copyright (c) 2014 Kínesis - Revista de Estudos dos Pós-Graduandos em Filosofia

Creative Commons License

Este trabalho está licenciado sob uma licença Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License.