Topological spaces of monadic MV-algebras

被引:6
|
作者
Di Nola, Antonio [1 ,2 ]
Grigolia, Revaz [3 ]
Lenzi, Giacomo [1 ]
机构
[1] Univ Salerno, Fisciano, Italy
[2] IIASS ER Caianiello, Vietri Sul Mare, SA, Italy
[3] Univ Tbilisi, Tbilisi, Georgia
关键词
Topological duality; Monadic MV-algebra; LOGIC;
D O I
10.1007/s00500-018-3166-1
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
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.
引用
收藏
页码:375 / 381
页数:7
相关论文
共 50 条
  • [31] The Dual Adjunction between MV-algebras and Tychonoff Spaces
    Vincenzo Marra
    Luca Spada
    Studia Logica, 2012, 100 : 253 - 278
  • [32] Coproduct MV-algebras, nonstandard reals, and Riesz spaces
    DiNola, A
    Lettieri, A
    JOURNAL OF ALGEBRA, 1996, 185 (03) : 605 - 620
  • [33] Some Results on Quasi MV-Algebras and Perfect Quasi MV-Algebras
    Dvurecenskij, Anatolij
    Zahiri, Omid
    STUDIA LOGICA, 2025,
  • [34] Hyperfinite MV-algebras
    Belluce, L. P.
    Di Nola, A.
    Lenzi, G.
    JOURNAL OF PURE AND APPLIED ALGEBRA, 2013, 217 (07) : 1208 - 1223
  • [35] Weak MV-algebras
    Halas, Radomir
    Plojhar, Lubos
    MATHEMATICA SLOVACA, 2008, 58 (03) : 253 - 262
  • [36] Vectorial MV-algebras
    Noje, D
    Bede, B
    SOFT COMPUTING, 2003, 7 (04) : 258 - 262
  • [37] Strict MV-algebras
    Ambrosio, R
    JOURNAL OF MATHEMATICAL ANALYSIS AND APPLICATIONS, 1999, 237 (01) : 320 - 326
  • [38] On archimedean MV-algebras
    Jakubík, J
    CZECHOSLOVAK MATHEMATICAL JOURNAL, 1998, 48 (03) : 575 - 582
  • [39] POLYADIC MV-ALGEBRAS
    SCHWARTZ, D
    ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1980, 26 (06): : 561 - 564
  • [40] Frames and MV-algebras
    Belluce L.P.
    Di Nola A.
    Studia Logica, 2005, 81 (3) : 357 - 385