O Método dos Tableaux Aplicado ao Cálculo Trivalente e Intuicionista I1
DOI:
https://doi.org/10.5540/tcam.2021.022.03.00393Keywords:
Lógica intuicionista, Lógica trivalente, Método dos tableaux analíticos, Lógica não-clássica, Lógica matemáticaAbstract
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.
References
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
Published
How to Cite
Issue
Section
License
Authors who publish in this journal agree to the following terms:
Authors retain copyright and grant the journal the right of first publication, with the work simultaneously licensed under the Creative Commons Attribution License that allows the sharing of the work with acknowledgment of authorship and initial publication in this journal.
Authors are authorized to assume additional contracts separately, for non-exclusive distribution of the version of the work published in this journal (eg, publish in an institutional repository or as a book chapter), with acknowledgment of authorship and initial publication in this journal.
Authors are allowed and encouraged to publish and distribute their work online (eg, in institutional repositories or on their personal page) at any point before or during the editorial process, as this can generate productive changes as well as increase impact and the citation of the published work (See The effect of open access).
This is an open access journal which means that all content is freely available without charge to the user or his/her institution. Users are allowed to read, download, copy, distribute, print, search, or link to the full texts of the articles, or use them for any other lawful purpose, without asking prior permission from the publisher or the
author. This is in accordance with the BOAI definition of open access
Intellectual Property
All the contents of this journal, except where otherwise noted, is licensed under a Creative Commons Attribution License under attribution BY.