O Método dos Tableaux Aplicado ao Cálculo Trivalente e Intuicionista I1
DOI:
https://doi.org/10.5540/tcam.2021.022.03.00393Palavras-chave:
Lógica intuicionista, Lógica trivalente, Método dos tableaux analíticos, Lógica não-clássica, Lógica matemáticaResumo
O cálculo I1 foi introduzido em 1995 por Sette e Carnielli. Este sistema possui um caráter intuicionista, no mesmo sentido do sistema lógico desenvolvido por Arend Heyting (1898-1980), o qual surgiu como a lógica subjacente a Matemática Intuicionista, ou construtivista, por exemplo, ¬ ¬A → A não ser uma tautologia em I¹. Ademais, o cálculo I1 é uma lógica trivalorada que, ao contrário da lógica clássica, não admite apenas dois valores de verdade, mas sim três, estes são T, F* e F. Os valores T e F denotam, respectivamente, verdade e falsidade, enquanto que F* pode ser interpretado como “falsidade por falta de evidência positiva”. O ambiente semântico dessa lógica, há apenas um valor distinguido. Neste trabalho, desenvolvemos um método dedutivo alternativo ao axiomático para o sistema I1, ou seja, introduzimos um sistema de tableaux analíticos para tal lógica. Estabelecemos, por meio de teoremas, que toda dedução obtida do sistema axiomático também será deduzida pelo sistema de tableaux proposto.
Referências
CARNIELLI, W. A.; LIMA-MARQUES, M. Society semantics for multiple-valued logics. In W.A. Carnielliand I.M.L. D’Ottaviano, editors, Advances in Contemporary Logic and Computer Science, volume 235 of Contemporary Mathematics Series, pp. 33-52. American Mathematical Society, 1999.
FEITOSA, H. A.; PAULOVICH, L. Um preludio à lógica. São Paulo: Editora Unesp, 2005.
FERNÁNDEZ, V. L. Semântica de Sociedades para Lógicas n-valentes. Dissertação de Mestrado, IFCH - Universidade Estadual de Campinas. Campinas, 2001.
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.X
LOPARIC, A.; Costa, N. C. A. “Paraconsistency, paracompleteness and valuations”, Logique et Analyse, 106, 1984, p.119-131.
MORTARI, C. A. Introdução à Lógica. São Paulo: Editora Unesp, 2001.
QUEIROZ, G. da S. Sobre a Dualidade entre Intuicionismo e Paraconsistência. Tese de Doutorado, IFCH - Universidade Estadual de Campinas. Campinas, 1998
SETTE, A. M.; CARNIELLI, W. A. Maximal Weakly-intuicionistic logics, Studia Logica 55, 1995, pp. 181-203.
SILVA, F. S. C.; FINGER, M.; MELO, A. C. V. Lógica para computação. São Paulo: Thomson Learning, 2006.
SILVESTRINI, L. H. C. Cálculo trivalorado, quase verdade e sociedades paraconsistentes. Trabalho apresentado no XXXVIII CNMAC, Campinas - SP, 2018. Disponível em: <https://proceedings.sbmac.org.br/sbmac/article/view/2552/2571>. Acesso em: 15 dez. 2018.
SMULLYAN, R. M. First-order logic. New York: Springer-Verlag / Dover Publication, 1968.
Downloads
Publicado
Como Citar
Edição
Seção
Licença
Política para Periódicos de Acesso Livre
Autores que publicam nesta revista concordam com os seguintes termos:
- Autores mantém os direitos autorais e concedem à revista o direito de primeira publicação, com o trabalho simultaneamente licenciado sob a Licença Creative Commons Attribution que permite o compartilhamento do trabalho com reconhecimento da autoria e publicação inicial nesta revista.
- Autores têm autorização para assumir contratos adicionais separadamente, para distribuição não-exclusiva da versão do trabalho publicada nesta revista (ex.: publicar em repositório institucional ou como capítulo de livro), com reconhecimento de autoria e publicação inicial nesta revista.
- Autores têm permissão e são estimulados a publicar e distribuir seu trabalho online (ex.: em repositórios institucionais ou na sua página pessoal) a qualquer ponto antes ou durante o processo editorial, já que isso pode gerar alterações produtivas, bem como aumentar o impacto e a citação do trabalho publicado (Veja O Efeito do Acesso Livre).
- Esta é uma revista de acesso aberto, o que significa que todo o conteúdo é livremente disponível gratuitamente para o usuário ou sua instituição. Os usuários estão autorizados a ler, baixar, copiar, distribuir, imprimir, pesquisar ou vincular os textos completos dos artigos, ou usá-los para qualquer outro propósito legal, sem pedir permissão prévia do editor ou do autor. Isso está de acordo com a definição de acesso aberto do BOAI.
Todo o conteúdo do periódico está licenciado sob uma Licença Creative Commons do tipo atribuição BY.