We construct a covariant functor from the category of monadic MV-algebras into the category of Q-distributive lattices, i.e., distributive lattices with quantifier introduced by R. Cignoli. For every monadic MV-algebra, we construct a dual object named QM-space; these objects form a special subcategory of spectral spaces and of Q-spaces developed by R. Cignoli for Q-distributive lattices.
机构:
Dept. Math. Inform., University of Salerno, I-84081 Baronissi, Salerno, Via S. AllendeDept. Math. Inform., University of Salerno, I-84081 Baronissi, Salerno, Via S. Allende
Di Nola A.
Dvurečenskij A.
论文数: 0引用数: 0
h-index: 0
机构:
Mathematical Institute, Slovak Academy of Sciences, SK-81473 BratislavaDept. Math. Inform., University of Salerno, I-84081 Baronissi, Salerno, Via S. Allende