A New Algebraic Version of Monteiro’s Four-Valued Propositional Calculus
- 1 Instituto de Ciencias Básicas, Universidad Nacional de San Juan, San Juan, Argentina
- 2 Departamento de Matemática, Universidad Nacional del Sur, Bahía Blanca, Argentina
- 3 Departamento de Matemática, Universidad Nacional del Sur, Bahía Blanca, Argentina
Abstract
In the XII Latin American Symposium on Mathematical Logic we presented a work introducing a Hilbert-style propositional calculus called four-valued Monteiro propositional calculus. This calculus, denoted by M 4 , is introduced in terms of the binary connectives (implication), → (weak implication), ∧ (conjunction) and the unary ones (negation) and ▽ (modal operator). In this paper, it is proved that M 4 belongs to the class of standard systems of implicative extensional propositional calculi as defined by Rasiowa (1974). Furthermore, we show that the definitions of four-valued modal algebra and M 4 -algebra are equivalent and, in addition, obtain the completeness theorem for M 4 . We also introduce the notion of modal distributive lattices with implication and show that these algebras are more convenient than four-valued modal algebras for the study of four-valued Monteiro propositional calculus from an algebraic point of view. This follows from the fact that the implication → is one of its basic binary operations.
- Bianco, E. (2004). Four-Valued Monteiro Propositional Calculus. XII Latin American Symposium on Mathematical Logic. Abstracts of Contributed Papers, San José, 3.
- Bianco, E. (2008). Una contribución al estudio de las álgebras de De Morgan modales 4-valuadas. Ms. Thesis, Baha Blanca: Universidad Nacional del Sur.
- Birkhoff, G. (1967). Lattice Theory (3rd ed.). Providence: American Mathematical Society, Col Pub.
- Blackburn, P., de Rijke, M., & Venema, Y. (2001). Modal Logic. Cambridge: Cambridge University Press. http://dx.doi.org/10.1017/CBO9781107050884
- Burris, S., & Sankappanavar, H. P. (1981). A Course in Universal Algebra. Graduate Texts in Mathematics 78. Berlin: Springer. http://dx.doi.org/10.1007/978-1-4613-8130-3
- Carnielli, W. A., & Marcos, J. (2002). A Taxonomy of C-Systems. In W. A. Carnielli, M. E. Coniglio, & I. M. L. D’ottaviano (Eds.), Paraconsistency—The Logical Way to the Inconsistent, Volume 228 of Lecture Notes in Pure and Applied Mathematics (pp. 1-94). New York: Marcel Dekker.
- Coniglio, M. E., & Figallo, M. (2013). Hilbert-Style Presentations of Two Logics Associated to Tetravalent Modal Algebras. Studia Logica.
- Figallo, A., & Landini, P. (1995). On Generalized I—Algebras and Modal 4-Valued Algebras. Rep Math Logic Impact Factor, 29, 3-18.
- Figallo, A., & Ziliani, A. (1991). Symmetric Tetra-Valued Modal Algebras. Discreta Notas de la Sociedad de Matem tica de Chile, 10, 133-141.
- Figallo, A. V. (1992). On the Congruences in Four-Valued Modal Algebras. Portugaliae Mathematica, 49, 249-261.
- Figallo, A. V. (1994). Tópicos sobre álgebras modales 4-valuadas. Proceedings of the 9th Latin American Symposium on Mathematical Logic, 38, 145-157.
- Font, J. M., & Rius, M. (1990). A Four-Valued Modal Logic Arising from Monteiros’s Last Algebras. Proceedings of the 20th International Symposium on Multiple-Valued Logic, IEEE Computer Society Press, 85-92.
- Font, J. M., & Rius, M. (2000). An Abstract Algebraic Logic Approach to Tetravalent Modal Logics. The Journal of Symbolic Logic, 65, 481-518. http://dx.doi.org/10.2307/2586552
- Kalman, J. A. (1958). Lattices with Involution. Transactions of the American Mathematical Society, 87, 485-491. http://dx.doi.org/10.1090/S0002-9947-1958-0095135-X
- Lemmon, E. J., & Scott, D. (1977). An Introduction to Modal Logic. In K. Segerberg (Ed.), The Lemmon Notes (Vol. 11). American Philosophical Quarterly Monograph Series. Oxford: Basil Blackwell.