A LÓGICA TK EM DEDUÇÃO NATURAL, CÁLCULO DE SEQUENTES E TABLEAUX
DOI:
https://doi.org/10.36311/1984-8900.2010.v2n04.4382Palavras-chave:
Sistema hilbertiano, Dedução natural, Cálculo de seqüentes, Tableaux, Lógica TKResumo
(Feitosa, Grácio, Nascimento, 2007) introduziram uma nova lógica, a Lógica TK, que foi apresentada inicialmente no estilo hilbertiano. O objetivo deste trabalho é apresentar a Lógica TK em sistemas de dedução natural, cálculo de sequentes e tableaux assim como demonstrar a equivalência entre esses novos sistemas e o original.
Downloads
Não há dados estatísticos.
Referências
BETH, E. W. The foundations of mathematics. Amsterdam: North Holland.1959.
CARNIELLI, W.A.; CONIGLIO, M.E.; BIANCONI, R. Lógica e aplicações: Matemática, Ciência da Computação e Filosofia (Versão Preliminar - Capítulos 1 a 5), 2006. Disponível em: <http://www.cle.unicamp.br>. Acesso em 02 de agosto de 2007.
CARNIELLI, W. A.; EPSTEIN, R. L. Computabilidade, funções computáveis, lógica e os fundamentos da Matemática. São Paulo: Editora Unesp, 2006.
CASTRO, M. A. Hierarquias de sistemas de dedução natural e de sistemas de tableaux analíticos para os sistemas de Cn de Da Costa. Tese de doutorado (Doutorado em Lógica e Filosofia da Ciência) – Instituto de Filosofia e Ciências Humanas, universidade Estadual de Campinas. Campinas, 2004.
EPSTEIN, R. L. The semantic foundations of logic: propositional logics. Kluwer Academic Publishers, 1947. V. 1.
FEITOSA, H. A.; GRÁCIO, M. C. C.; NASCIMENTO, M. C. A logic of the Tarski’s consequence operator. Campinas: Unicamp. Centro de lógica, Epistemologia e História da Ciência – CLE, 2007. Disponível em: <http://www.cle.unicamp.br>. Acesso em: 07 fev. 2008.
FEITOSA, H. A., PAULOVICH, L. Um prelúdio à lógica. São Paulo: Editora Unesp, 2005.
FINGER, M.; MELO, A. C. V.; SILVA, F. S. C. Lógica para computação. São Paulo: Thomson Learning, 2006.
FITTING, M. C. Introduction. In: D´AGOSTINO, M; GABBAY, D.V.; HAHNLE, R.; POSEGGA, J. (Eds.). Handbook of Tableaux Methods. Dordrecht: Kluwer Academic Publishers, 1999. p. 1- 43.
GENTZEN, G. The collected papers of Gerhard Gentzen. Editor M. E. Szabo. Amsterdam: North-Holland Publishing Company, 1969.
MATULOVIC, M. A lógica do Muito em um sistema de tablôs. Dissertação de mestrado (Mestrado em Filosofia da Mente, Epistemologia e Lógica) – Faculdade de Filosofia e Ciências, Universidade Estadual Paulista. Marília, 2008.
MENDELSON, E. Introduction to mathematical logic. New York: D. Van Nostrand Company, 1964.
MORTARI, C. A. Introdução à lógica. São Paulo: Editora UNESP, 2001.
MOURA, J. E. A. Um estudo de C? em cálculo de sequentes e dedução natural. Tese (Doutorado em Lógica) – Programa de Pós-Graduação em Lógica e Filosofia da Ciência, UNICAMP, Campinas, 2000.
NASCIMENTO, M. C., FEITOSA, H. A. As álgebras dos operadores de consequência. São Paulo: Revista de Matemática e Estatística, 2005. v. 23, n. 1, p. 19-30.
SAUTTER, F. T. Lewis Carrol e a pré´-história das árvores de refutação. In: FEITOSA, H. A.; SAUTTER, F. T. (orgs.). Coleção CLE. Campinas: UNICAMP, Centro de Lógica, Epistemologia e História da Ciência, v.39, p. 91-103, 2004.
SCHWICHTENBERG, H.; TROELSTRA, A. S. Basic proof theory. Cambridge: Cambridge University Press, 2000.
SILVESTRINI, L. H. C. Tableaux e indução na lógica do plausível. Dissertação de mestrado (Mestrado em Epistemologia e Lógica) – Faculdade de Filosofia e Ciências, Universidade Estadual Paulista. Marília, 2005.
SMULLYAN, R. M. First-order logic. New York: Springer-Verlag / Dover Publication, 1968.
TARSKI, A. Acerca do conceito de consequência lógica. Princípios: revista de filosofia, UFRN, Natal, v. 8, n. 10, p. 220-233, 2001.
______. Logic, Semantic, Metamathematics. 2.ed. Indianápolis: Hackett Publishing Co., 1983.
______. Sobre alguns conceitos fundamentais de metamatemática. Princípios: revista de filosofia, UFRN, Natal, v. 8, n. 10, p. 187-209, 2001.
VELASCO, P. D. N. Sobre o operador de consequência de Tarski. In: MARTINS, R. A.; MARTINS, L. A. C.; SILVA, C. C.; FERREIRA, J. M. H. (Eds.). Filosofia e história da ciência no Cone Sul: 3o Encontro. Campinas: AFHIC, 2004.
CARNIELLI, W.A.; CONIGLIO, M.E.; BIANCONI, R. Lógica e aplicações: Matemática, Ciência da Computação e Filosofia (Versão Preliminar - Capítulos 1 a 5), 2006. Disponível em: <http://www.cle.unicamp.br>. Acesso em 02 de agosto de 2007.
CARNIELLI, W. A.; EPSTEIN, R. L. Computabilidade, funções computáveis, lógica e os fundamentos da Matemática. São Paulo: Editora Unesp, 2006.
CASTRO, M. A. Hierarquias de sistemas de dedução natural e de sistemas de tableaux analíticos para os sistemas de Cn de Da Costa. Tese de doutorado (Doutorado em Lógica e Filosofia da Ciência) – Instituto de Filosofia e Ciências Humanas, universidade Estadual de Campinas. Campinas, 2004.
EPSTEIN, R. L. The semantic foundations of logic: propositional logics. Kluwer Academic Publishers, 1947. V. 1.
FEITOSA, H. A.; GRÁCIO, M. C. C.; NASCIMENTO, M. C. A logic of the Tarski’s consequence operator. Campinas: Unicamp. Centro de lógica, Epistemologia e História da Ciência – CLE, 2007. Disponível em: <http://www.cle.unicamp.br>. Acesso em: 07 fev. 2008.
FEITOSA, H. A., PAULOVICH, L. Um prelúdio à lógica. São Paulo: Editora Unesp, 2005.
FINGER, M.; MELO, A. C. V.; SILVA, F. S. C. Lógica para computação. São Paulo: Thomson Learning, 2006.
FITTING, M. C. Introduction. In: D´AGOSTINO, M; GABBAY, D.V.; HAHNLE, R.; POSEGGA, J. (Eds.). Handbook of Tableaux Methods. Dordrecht: Kluwer Academic Publishers, 1999. p. 1- 43.
GENTZEN, G. The collected papers of Gerhard Gentzen. Editor M. E. Szabo. Amsterdam: North-Holland Publishing Company, 1969.
MATULOVIC, M. A lógica do Muito em um sistema de tablôs. Dissertação de mestrado (Mestrado em Filosofia da Mente, Epistemologia e Lógica) – Faculdade de Filosofia e Ciências, Universidade Estadual Paulista. Marília, 2008.
MENDELSON, E. Introduction to mathematical logic. New York: D. Van Nostrand Company, 1964.
MORTARI, C. A. Introdução à lógica. São Paulo: Editora UNESP, 2001.
MOURA, J. E. A. Um estudo de C? em cálculo de sequentes e dedução natural. Tese (Doutorado em Lógica) – Programa de Pós-Graduação em Lógica e Filosofia da Ciência, UNICAMP, Campinas, 2000.
NASCIMENTO, M. C., FEITOSA, H. A. As álgebras dos operadores de consequência. São Paulo: Revista de Matemática e Estatística, 2005. v. 23, n. 1, p. 19-30.
SAUTTER, F. T. Lewis Carrol e a pré´-história das árvores de refutação. In: FEITOSA, H. A.; SAUTTER, F. T. (orgs.). Coleção CLE. Campinas: UNICAMP, Centro de Lógica, Epistemologia e História da Ciência, v.39, p. 91-103, 2004.
SCHWICHTENBERG, H.; TROELSTRA, A. S. Basic proof theory. Cambridge: Cambridge University Press, 2000.
SILVESTRINI, L. H. C. Tableaux e indução na lógica do plausível. Dissertação de mestrado (Mestrado em Epistemologia e Lógica) – Faculdade de Filosofia e Ciências, Universidade Estadual Paulista. Marília, 2005.
SMULLYAN, R. M. First-order logic. New York: Springer-Verlag / Dover Publication, 1968.
TARSKI, A. Acerca do conceito de consequência lógica. Princípios: revista de filosofia, UFRN, Natal, v. 8, n. 10, p. 220-233, 2001.
______. Logic, Semantic, Metamathematics. 2.ed. Indianápolis: Hackett Publishing Co., 1983.
______. Sobre alguns conceitos fundamentais de metamatemática. Princípios: revista de filosofia, UFRN, Natal, v. 8, n. 10, p. 187-209, 2001.
VELASCO, P. D. N. Sobre o operador de consequência de Tarski. In: MARTINS, R. A.; MARTINS, L. A. C.; SILVA, C. C.; FERREIRA, J. M. H. (Eds.). Filosofia e história da ciência no Cone Sul: 3o Encontro. Campinas: AFHIC, 2004.
Downloads
Publicado
2010-12-25
Edição
Seção
Artigos
Licença
Copyright (c) 2014 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.
