TABLÔS PARA A LÓGICA INTUICIONISTA I1
DOI:
https://doi.org/10.36311/1984-8900.2021.v13n35.p268-297Keywords:
Lógicas intuicionistas, Lógica I1, Método dos tablôsAbstract
Este artigo trata de uma lógica de caráter intuicionista (construtivista) e do método dos tablôs, que tem maior interesse computacional por ser procedimento dedutivo, em geral, mais rápido e eficaz que o axiomático dedutivo. A meta é apresentar a lógica intuicionista I1, que foi originalmente apresentada em um sistema dedutivo axiomático, como em Sette e Carnielli (1995), através do método dos tablôs. Por ser considerada intuicionista, também deve ser considerado o aspecto construtivista da lógica I1.
Downloads
References
J AHO, A. V; HOPCROFT, J. E; ULLMAN, D. Data Structures and Algorithms. Boston: Addison-Wesley Professional, 1983.
BETH, E. W. The foundations of mathematics: a study in the philosophy of science. Amsterdam: North-Holland Publishing Company, 1965. v.581.
COUTINHO, J. V. S. F. Apostila de Lógica. 2017. Disponível em: url{http://www.cin.ufpe.br/~mlogica/livros/Apostila_joao_victor.pdf}. Acesso em: 10 mar. 2019.
DIAS, M. F.; LIMA, L. W. C. Teoria da recursão. São Paulo: Editora UNESP, 2010.
FEITOSA, H. A.; PAULOVICH, L. Um prelúdio à lógica. São Paulo: Editora Unesp, 2005.
FERREIRÓS, J. The Crisis in the Foundations of Mathematics. In: GOWERS, T. Princeton Companion to Mathematics. Princeton: Princeton University Press 2008. p. 142-156.
FRAENKEL, A. A.; YEHOSHUA, B; LEVY, A. Studies in Logic and the Foundations of Mathematics. Volume 67: Foundations of Set Theory. Amsterdam: North Holland Publishing, 1984.
GENTZEN, G. Untersuchungen über das logische Schlieben. Mathematische Zeitschrift, Springer, v. 39, n. 1, p. 405-431, 1935.
GOLZIO, A. C. J. Elementos algébricos para a noção de ‘poucos’ e sua formalização em sistemas dedutivos. Dissertação de mestrado, FFC - Universidade Estadual Paulista. Marília, 2011.
HAACK, S. Filosofia das lógicas. Tradução de Cezar Augusto Mortari e Luiz Henrique de Araújo Dutra. São Paulo: Editora Unesp, 2002.
HINTIKKA, J. Form and content in quantification theory. Acta Philosophica Fennica, v. 8, 1955.
LIS, Z. Wynikanie semantyczne a wynikanie formalne. Studia Logica, v. 10, 1960.
PAIOLA, P. H.; FEITOSA, H. A. Lógica intuicionista I1: correção e completude. Revista Eletrônica Paulista de Matemática, v. 17, p. 01-11, 2020.
RAMOS, A. F. Matemática Construtiva e o Intuicionismo. Trabalho de Graduação, Centro de Informática - Universidade Federal de Pernambuco. Recife, 2013. Disponível em: url{https://www.cin.ufpe.br/~tg/2013-1/afr.pdf}. Acesso em: 22 ago. 2019.
RODRIGUES, R. G. Sobre os Fundamentos da Programação Lógica Paraconsistente. Dissertação de Mestrado, Instituto de Filosofia e Ciências Humanas - Universidade Estadual de Campinas. Campinas, 2010. Disponível em: url{https://www.cle.unicamp.br/prof/coniglio/dissertacao_Tarcisio.pdf}>. Acesso em: 10 mar. 2019.
SANTOS, E. O. V.; SILVESTRINI, L. H. C. O Método dos tableaux aplicado ao Cálculo Trivalente e Intuicionista I1. Trends in Computational and Applied Mathematics, v. 22, n. 3, p. 393-412, 2021.
SANTOS, J. B. Infraestrutura para provadores interativos de teoremas na Web. Dissertação de Mestrado, Pontifícia Universidade Católica do Rio de Janeiro. Rio de Janeiro, 2010. Disposto em: url{https://www.maxwell.vrac.puc-rio.br/16318/16318_2.PDF}. Acesso em: 09 mar. 2019.
SETTE, A. M.; CARNIELLI, W. A. Maximal Weakly-Intuitionistic Logics. Studia Logica, Springer, v. 55, n. 1, p. 181-203, 1995.
SHAFFER, C. A. Data Structures and Algorithm Analysis in C++. Mineola: Dover Publications, 2011.
SILVA, F. S. C.; FINGER, M.; MELO, A. C. V. Lógica para computação. São Paulo: Thomson Learning, 2006.
SILVA, H. G. A Lógica da Verdade Pragmática em tableaux. Dissertação de Mestrado, FFC - Universidade Estadual Paulista. Marília, 2018.
SILVESTRINI, L. H. C. Tableaux e indução na lógica do plausível. Dissertação de Mestrado, FFC - Universidade Estadual Paulista. Marília, 2005.
SMULLYAN, R. M. First-order logic. New York: Springer-Verlag / Dover Publication, 1968.
Downloads
Published
Issue
Section
License
Copyright (c) 2021 Kínesis - Revista de Estudos dos Pós-Graduandos em Filosofia
This work is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License.
