Two deductions systems for the Logic PM4N

Authors

DOI:

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

Keywords:

Deduction systems, Many-valued logics, Tableaux, Sequent calculus

Abstract

The logic PM4N was introduced by Jean-Yves Beziau as a modal and 4-valued system. In this introductory paper, the author presented the system from a matrix logic with four values disposed in a Boolean algebra with a modal operator for the notion of necessity. From that matrix semantics, the paper shows some valid results and stresses some motivations of the matrix semantics and of the system PM4N. In this paper we develop some additional aspects of that logic and present two deductive systems for it, a simple system of tableaux and a sequent calculus.

Downloads

Download data is not yet available.

Metrics

Metrics Loading ...

Author Biographies

Hércules de Araújo Feitosa, São Paulo State University - UNESP: Bauru, São Paulo/SP, Brazil

Graduated in Mathematics from Fundação Educacional de Bauru (1984), Master in Fundamentals of Mathematics from Universidade Estadual Paulista - UNESP - IGCE (1992) and PhD in Logic and Philosophy of Science from Universidade Estadual de Campinas - UNICAMP - IFCH (1998). Since 1988, he has worked at UNESP, College of Science, Department of Mathematics, Bauru Campus. He is currently an accredited Professor at the Graduate Program in Philosophy at UNESP - FFC - Marília. He has an academic experience in teaching Logic and Fundamentals of Mathematical Logic and his scientific investigations are directed to logic, translations between logics, algebraic models, quantifiers and non-classical logics. E-mail: hercules.feitosa@unesp.br

Romulo Albano de Freitas, São Paulo State University - UNESP: Bauru, São Paulo/SP, Brazil

Graduating in Mathematics Degree from Universidade Estadual Paulista Julio de Mesquita Filho - UNESP, Bauru campus. He is a member of the research group, certified by CNPQ, "Adaptive Systems, Logic and Intelligent Computing" (SALCI). He has already had experience in teaching and research in Logic, working as a monitor of the discipline "Computational Logic" at the Universidade Estadual Paulista Julio de Mesquita Filho - UNESP - and also participating as a colleger in the extension project "Logical Reasoning and the Principles of Argumentation" - RacioLog (project with grant and resources from PROEX). He is currently developing research in Logic and Proof Theory. E-mail: r.freitas@unesp.br

Marcelo Reicher Soares, São Paulo State University - UNESP: Bauru, São Paulo/SP, Brazil

Post-Doctorate at the Center for Logic, Epistemology and History of Science CLE-UNICAMP (2015), he holds a PhD in Mathematics from the University of São Paulo - USP (2000), a Master's degree in Mathematics from the University of São Paulo - USP (1989) and has Full Degree in Mathematics from Universidade São Francisco (1983). He is currently Assistant Professor Doctor II at the Universidade Estadual Paulista Júlio de Mesquita Filho - UNESP and works as a professor and advisor in the Graduate Program in Mathematics at the National PROFMAT Network. He has experience in teaching and research in the area of ​​Mathematical Analysis, with an emphasis on Generalized Colombeau Functions. He currently works in Fundamentals and Mathematical Logic with an emphasis on Non-Standard Analysis and Algebraic Logic. He participates in the Research Groups, certified by the CNPQ, “Adaptive Systems, Logic and Intelligent Computing” and “Logic and Epistemology”. E-mail: reicher.soares@unesp.br

References

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

Published

2022-12-31

How to Cite

Feitosa, H. de A., de Freitas, R. A., & Soares, M. R. (2022). Two deductions systems for the Logic PM4N. Intermaths, 3(2), 38-55. https://doi.org/10.22481/intermaths.v3i2.11378

Issue

Vol. 3 No. 2 (2022)

Section

Artigos

License

Copyright (c) 2022 INTERMATHS

Creative Commons License

This work is licensed under a Creative Commons Attribution 4.0 International License.

  • Responsibility: The scientific content and the opinions expressed in the manuscript are the sole responsibility of the author(s).
  • Copyrights: INTERMATHS. 
  • All content of Revista INTERMATHS/INTERMATHS journal is licensed under a Creative Commons - Atribuição 4.0 Internacional

Licença Creative Commons