Several characterizations of the 4--valued modal algebras
Logic
2013-05-14 v2
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 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.
Keywords
Cite
@article{arxiv.1304.6776,
title = {Several characterizations of the 4--valued modal algebras},
author = {Aldo V. Figallo and Paolo Landini},
journal= {arXiv preprint arXiv:1304.6776},
year = {2013}
}