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

来源：

SOFT COMPUTING | 2019年 / 23卷 / 02期

关键词：

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 条

[1] Topological spaces of monadic MV-algebras
Antonio Di Nola
Revaz Grigolia
Giacomo Lenzi
Soft Computing, 2019, 23 : 375 - 381
[2] A topological duality for monadic MV-algebras
Figallo-Orellano, Aldo
SOFT COMPUTING, 2017, 21 (23) : 7119 - 7123
[3] A topological duality for monadic MV-algebras
Aldo Figallo-Orellano
Soft Computing, 2017, 21 : 7119 - 7123
[4] On monadic MV-algebras
Di Nola, A
Grigolia, R
ANNALS OF PURE AND APPLIED LOGIC, 2004, 128 (1-3) : 125 - 139
[5] On state monadic MV-algebras
He, Pengfei
Wei, Ya
Wang, Juntao
FUZZY SETS AND SYSTEMS, 2024, 485
[6] Monadic MV-algebras II: Monadic implicational subreducts
Cimadamore, Cecilia R.
Diaz Varela, J. Patricio
ALGEBRA UNIVERSALIS, 2014, 71 (03) : 201 - 219
[7] Monadic MV-algebras II: Monadic implicational subreducts
Cecilia R. Cimadamore
J. Patricio Díaz Varela
Algebra universalis, 2014, 71 : 201 - 219
[8] Topological MV-algebras
Hoo, CS
TOPOLOGY AND ITS APPLICATIONS, 1997, 81 (02) : 103 - 121
[9] Monadic MV-algebras are Equivalent to Monadic ℓ-groups with Strong Unit
C. Cimadamore
J. P. Díaz Varela
Studia Logica, 2011, 98 : 175 - 201
[10] Monadic MV-algebras I: a study of subvarieties
Cecilia R. Cimadamore
J. Patricio Díaz Varela
Algebra universalis, 2014, 71 : 71 - 100

← 1 2 3 4 5 →