2000 character limit reached
Several characterizations of the 4--valued modal algebras (1304.6776v2)
Published 25 Apr 2013 in math.LO
Abstract: A. Monteiro, in 1978, defined the algebras he named tetravalent modal algebras, will be called 4--valued modal algebras in this work. These algebras constitute a generalization of the 3--valued Lukasiewicz algebras defined by Moisil. The theory of the 4--valued modal algebras has been widely developed by I. Loureiro in [6,7,8,9,10,11,12] and by A. V. Figallo in [2,3,4,5]. J. Font and M. Rius indicated, in the introduction to the important work [1], a brief but detailed review on the $4-$valued modal algebras. In this work varied characterizations are presented that show the "closeness" this variety of algebras has with other well--known algebras related to the algebraic counterparts of certain logics.