A LÓGICA DOS OPERADORES DE CONSEQUÊNCIA ACRESCIDA DO AXIOMA MODAL 5
DOI:
https://doi.org/10.36311/1984-8900.2016.v8.n17.02.p1Palavras-chave:
Lógica TK, Álgebras TK, Espaço quase topológico, Axioma modal (5)Resumo
Damos a definição de espaço quase topológico e apresentamos alguns exemplos e propriedades. Em seguida, apresentamos as álgebras TK e a lógica TK que foram motivadas pelos espaços de Tarski. Apresentamos uma demonstração da adequação da lógica TK relativa aos espaços quase topológicos. De modo original, discutimos o bem conhecido axioma modal chamado (5) e mostramos sua formalização na lógica TK e seus respectivos modelos, dados por espaços quase topológicos em que cada conjunto fechado é também aberto.
Downloads
Referências
AWODEY, S.; KISHIDA, K. Topology and modality: the topological interpretation of first-order modal logic. The Review of Symbolic Logic, v. 1, n. 2, p. 143 - 166, 2008.
BELL, J. L.; MACHOVER, M.A course in mathematical logic. Amsterdam: NorthHolland, 1977.
CARNIELLI, W. A.; PIZZI, C. Modalità e multimodalità. Milano: Franco Angeli, 2001.
CHAGROV, A.; ZAKHARYASCHEV, M. Modal logic. Oxford: Clarendon Press, 1997.
CHELLAS, B. Modal Logic: an introduction. Cambridge: Cambridge University Press, 1980.
DUGUNDJI, J. Topology. Boston: Allyn and Bacon, 1966.
EBBINGHAUS, H. D.; FLUM, J.; THOMAS, W. Mathematical logic. New York: Springer-Verlag, 1984.
ENDERTON, H. B. A mathematical introduction to logic. San Diego: Academic Press, 1972.
FEITOSA, H. A.; GRÁCIO, M. C. C.; NASCIMENTO, M. C. Logic TK: algebraic notions from Tarki's consequenceoperator. Principia, v. 14, p. 47-70, 2010.
FEITOSA, H. A.; NASCIMENTO, M. C. Logic of deduction: models of pre-order and maximal theories. South American Journal of Logic, v. 1, p. 283-297, 2015.
FITTING, M.; MENDELSOHN, R. L. First-order modal logic. Dordrecht: Kluwer, 1998.
KREMER P. Dynamic topological S5. Annals of Pure and Applied Logic, v. 160, p. 96-116, 2009.
LIMA, E. L. Elementos de topologia geral. Rio de Janeiro: Editora SBM, 2009. (Textos Universitários)
MENDELSON, E. Introduction to mathematical logic. Princeton: D. Van Nostrand, 1964.
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.; SIKORSKI, R. The mathematics of metamathematics.Second edition revised. Warszawa: PWN, 1968.
RASIOWA, H. An algebraic approach to non-classical logics. Amsterdam: NorthHolland, 1974.
Downloads
Publicado
Edição
Seção
Licença
Copyright (c) 2016 Kínesis - Revista de Estudos dos Pós-Graduandos em Filosofia
Este trabalho está licenciado sob uma licença Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License.
