Dois Sistema dedutivos para a Lógica PM4N

Autores

DOI:

https://doi.org/10.22481/intermaths.v3i2.11378

Palavras-chave:

Sistemas dedutivos, Lógicas multivaloradas, Tableaux, Cálculo de sequentes

Resumo

A lógica PM4N foi introduzida por Jean-Yves Beziau como um sistema modal e 4-valorado. No artigo introdutório, o autor apresentou o sistema a partir de uma lógica matricial com quatro valores dispostos em uma álgebra Booleana com um operador modal para a noção de necessidade. A partir dessa semântica matricial, o artigo mostra alguns resultados válidos e destaca algumas motivações da semântica matricial do sistema PM4N. No presente artigo nós desenvolvemos alguns aspectos adicionais dessa lógica e apresentamos dois sistemas dedutivos para a mesma, um simples sistema de tableaux e um cálculo de sequentes.

Downloads

Não há dados estatísticos.

Metrics

Carregando Métricas ...

Biografia do Autor

Hércules de Araújo Feitosa, Universidade Estadual Paulista - UNESP: Bauru, São Paulo/SP, Brasil

Formado em Matemática pela Fundação Educacional de Bauru (1984), mestre em Fundamentos da Matemática pela Universidade Estadual Paulista - UNESP - IGCE (1992) e doutor em Lógica e Filosofia da Ciência pela Universidade Estadual de Campinas - UNICAMP - IFCH (1998). Desde 1988, trabalha na UNESP, Faculdade de Ciências, Departamento de Matemática, Campus de Bauru. Atualmente é Professor Doutor credenciado no Programa de Pós-Graduação em Filosofia da UNESP - FFC - Marília. Possui experiência acadêmica no ensino de Lógica e Fundamentos da Matemática e suas investigações científicas são direcionadas para lógica, traduções entre lógicas, modelos algébricos, quantificadores e lógicas não clássicas. E-mail: hercules.feitosa@unesp.br

Romulo Albano de Freitas, Universidade Estadual Paulista - UNESP: Bauru, São Paulo/SP, Brasil

Graduando em Licenciatura em Matemática pela Universidade Estadual Paulista Julio de Mesquita Filho - UNESP, câmpus de Bauru. É membro do grupo de pesquisa, certificado pelo CNPQ, "Sistemas Adaptativos, Lógica e Computação Inteligente" (SALCI). Já teve experiência em ensino e pesquisa em Lógica, atuando como monitor da disciplina "Lógica Computacional" na Universidade Estadual Paulista Julio de Mesquita Filho - UNESP - e, também, participando como bolsita no projeto de extensão "Raciocínio Lógico e os Princípios da Argumentação" - RacioLog (projeto com bolsa e recursos da PROEX). Atualmente desenvolve pesquisas em Lógica e Teoria da Prova. E-mail: r.freitas@unesp.br

Marcelo Reicher Soares, Universidade Estadual Paulista - UNESP: Bauru, São Paulo/SP, Brasil

Pós-Doutorado no Centro de Lógica, Epistemologia e História da Ciência CLE-UNICAMP (2015), é Doutor em Matemática pela Universidade de São Paulo - USP (2000), Mestre em Matemática pela Universidade de São Paulo - USP (1989) e possui Licenciatura Plena em Matemática pela Universidade São Francisco (1983). Atualmente é Professor Assistente Doutor II na Universidade Estadual Paulista Júlio de Mesquita Filho - UNESP e atua como professor e orientador no Programa de Pós-Graduação em Matemática em Rede Nacional PROFMAT. Tem experiência, em ensino e pesquisa, na área de Análise Matemática, com ênfase em Funções Generalizadas de Colombeau. Atualmente trabalha em Fundamentos e Lógica Matemática com ênfase em Análise Non-Standard e Lógica algébrica. Participa dos Grupos de Pesquisa, certificados pelo CNPQ, ”Sistemas Adaptativos, Lógica e Computação Inteligente” e ”Lógica e Epistemologia”. E-mail: reicher.soares@unesp.br

Referências

J. Y. Beziau, “A new four-valued approach to modal logic", Logique et Analyse, vol. 54, no. 213, pp. 109-121, 2011.

J. M. Font, “Belnap’s four-valued logic and De Morgan lattices" Logic Journal of the IGPL, vol. 5, no. 3, pp. 413-440, 1997. https://doi.org/10.1093/jigpal/5.3.1-e

H. Omori, K. Sano, “Generalizing functional completeness in Belnap-Dunn logic", Studia Logica, vol. 103, no. 5, pp. 883-917, 2015. https://doi.org/10.1007/s11225-014-9597-5

A. P. Pynko, “Functional completeness and axiomatizability within Belnap’s four-valued logic and its expansion", Journal of Applied Non-Classical Logics, vol. 9, no. 1, pp. 61-105, 1999. https://doi.org/10.1080/11663081.1999.10510958

H. B. Enderton, A mathematical introduction to logic, San Diego: Academic Press, 1972.

E. J. Lemmon, “Algebraic semantics for modal logic I", The Journal of Symbolic Logic, vol. 31, pp. 46-65, 1966. https://doi.org/10.2307/2270619

E. Mendelson, Introduction to mathematical logic, Princeton: D. Van Nostrand, 1964.

H. Rasiowa, An algebraic approach to non-classical logics, Amsterdam: North-Holland,1974.

L. Bolc, P. Borowik, Many-valued logics: 1 theoretical foundations, Berlin: Springer-Verlag, 1992.

G. Malinowski, Many-valued logics, Oxford: Clarendon Press, 1993.

W. A. Carnielli, M. E. Coniglio, J. Marcos, “Logics of formal inconsistency". In D. Gabbay, F. Guenthner, (Eds.) Handbook of Philosophical Logic, 2nd. ed., vol. 14, pp. 1-93, 2007. https://doi.org/10.1007/978-1-4020-6324-4_1

W. A. Carnielli, J. Marcos, “A taxonomy of C-systems. Paraconsistency: the logical way to the inconsistent", Procedures of the II World Congress on Paraconsistency (WCP’2000), pp. 1-94, Marcel Dekker, 2001. https://doi.org/10.48550/arXiv.math/0108036

W. A. Carnielli, J. Marcos, S. Amo, “Formal inconsistency and evolutionary databases", Logic and Logical Philosophy, v. 8, p. 115-152, 2000. https://doi.org/10.12775/LLP.2000.008

M. De, H. Omori, “Classical negation and expansions of Belnap-Dunn logic", Studia Logica, vol. 103, no. 4, pp. 825-851, 2015. https://doi.org/10.1007/s11225-014-9595-7

W. A. Carnielli, “Systematization of finite many-valued logics through the method of tableaux", Journal of Symbolic Logic, vol. 52, no. 2, pp. 473-493, 1987. https://doi.org/10.2307/2274395

W. A. Carnielli, “On sequents and tableaux for many-valued logics", Journal of Non-Classical Logic, vol. 8, no. 1, pp. 59-76, 1991.

B. Chellas, Modal Logic: an introduction, Cambridge: Cambridge University Press, 1980.

M. Baaz, C. G. Fermüller, R. Zach, “Elimination of cuts in first-order finite-valued logics", Journal of Information Processing and Cybernetics EIK, vol. 29. no. 6, pp. 333-355, 1993.

R. Zach, Proof theory of finite-valued logics, Technical Report TUW-E185.2-Z.1-93, Technische Universität Wien, 1993.

Downloads

Publicado

2022-12-31

Como Citar

Feitosa, H. de A., de Freitas, R. A., & Soares, M. R. (2022). Dois Sistema dedutivos para a Lógica PM4N. Intermaths, 3(2), 38-55. https://doi.org/10.22481/intermaths.v3i2.11378

Edição

v. 3 n. 2 (2022)

Seção

Artigos

Licença

Copyright (c) 2022 INTERMATHS

Creative Commons License
Este trabalho está licenciado sob uma licença Creative Commons Attribution 4.0 International License.

Licença Creative Commons All content of Revista INTERMATHS/Journal INTERMATHS is licensed under a Creative Commons - Atribuição 4.0 Internacional (CC-BY 4.0).