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

Seção

Artigos