pith. sign in

arxiv: 1304.6776 · v2 · pith:WRJZIWWDnew · submitted 2013-04-25 · 🧮 math.LO

Several characterizations of the 4--valued modal algebras

classification 🧮 math.LO
keywords algebrasmodalvaluedworkcharacterizationsdefinedalgebraicbeen
0
0 comments X
read the original 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.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.