Discrete dualities for Monteiro's tetravalent modal algebras

Discrete duality refers to a form of duality in which a class of abstract relational systems serves as the dual counterpart to a class of algebras. These relational systems are called \textit{frames}, following the terminology of non-classical logics. No topology is involved in the construction of these frames; hence, they can be considered as having a discrete topology. In ۱۹۷۸, A. Monteiro introduced a class of algebras known as tetravalent modal algebras, which constitute a generalization of the three-valued {\L}ukasiewicz algebras defined by Moisil. The theory of these tetravalent modal algebras was initially developed by I. Loureiro, followed by significant contributions from A. V. Figallo, later enriched by the work of J. Font and M. Rius, and more recently by the works of M. Coniglio and M. Figallo. In this paper, we present two discrete dualities for Monteiro's tetravalent modal algebras. Each of these dualities involves a distinct class of frames and a unique definition of a complex algebra.

کلیدواژه ها:

De Morgan algebras ، Frames ، discrete duality ، tetravalent modal algebras