A New Algebraic Version of Monteiro’s Four-Valued Propositional Calculus

Por • 28 ene, 2018 • Sección: Filosofía

Aldo Victorio Figallo, Estela Bianco, Alicia Ziliani

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 M4, 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 M4 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 M4 -algebra are equivalent and, in addition, obtain the completeness theorem for M4. 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.

Keywords. Mathematical LogicHilbert-Style Propositional CalculusNon-Classical LogicsFour-Valued Monteiro Propositional Calculus

Full-Text HTML  Download as PDF (Size:948KB) PP. 319-331

DOI: 10.4236/ojpp.2014.43036    2.340 Downloads   2.581 Views   Citations

Cite this paper Figallo, A. , Bianco, E. and Ziliani, A. (2014) A New Algebraic Version of Monteiro’s Four-Valued Propositional Calculus. Open Journal of Philosophy4, 319-331. doi: 10.4236/ojpp.2014.43036.


Post to Twitter

Escribe un comentario