Godel spaces and perfect MV-algebras

被引:14
作者
Di Nola, Antonio [1 ]
Grigolia, Revaz [2 ]
机构
[1] Univ Salerno, I-84084 Fisciano, SA, Italy
[2] Tbilisi State Univ, GE-0147 Tbilisi, Georgia
关键词
MV-algebra; Perfect MV-algebra; Godel algebra; Priestley space; FREE-PRODUCTS; DUALITY; LOGIC;
D O I
10.1016/j.jal.2015.05.001
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
The category of Godel spaces GS (with strongly isotone maps as morphisms), which are dually equivalent to the category of Godel algebras, is transferred by a contravariant functor H into the category MV(C)(G) of MV-algebras generated by perfect MV-chains via the operators of direct products, subalgebras and direct limits. Conversely, the category MV(C)(G) is transferred into the category GS by means of a contravariant functor P. Moreover, it is shown that the functor 14 is faithful, the functor P is full and the both functors are dense. The description of finite coproduct of algebras, which are isomorphic to Chang algebra, is given. Using duality a characterization of projective algebras in MV(C)(G) is given. (C) 2015 Elsevier B.V. All rights reserved.
引用
收藏
页码:270 / 284
页数:15
相关论文
共 27 条
[1]   Perfect MV-algebras and their logic [J].
Belluce, Lawrence P. ;
Di Nola, Antonio ;
Gerla, Brunella .
APPLIED CATEGORICAL STRUCTURES, 2007, 15 (1-2) :135-151
[2]   SEMISIMPLE ALGEBRAS OF INFINITE VALUED LOGIC AND BOLD FUZZY SET-THEORY [J].
BELLUCE, LP .
CANADIAN JOURNAL OF MATHEMATICS-JOURNAL CANADIEN DE MATHEMATIQUES, 1986, 38 (06) :1356-1379
[3]  
BELLUCE LP, 1963, J SYMBOLIC LOGIC, V28, P43, DOI DOI 10.2307/2271335
[4]  
Birkhoff G., 1967, Amer. Math. Soc. Colloq. Publ., V25
[5]  
Burris S., 1981, Graduate Texts in Mathematics
[6]  
Chang C. C., 1958, Trans. Amer. Math. Soc., V88, P467, DOI [DOI 10.1090/S0002-9947-1958-0094302-9, 10.1090/S0002-9947-1958-0094302-9]
[7]   Prime spectra of lattice-ordered Abelian groups [J].
Cignoli, R ;
Gluschankof, D ;
Lucas, F .
JOURNAL OF PURE AND APPLIED ALGEBRA, 1999, 136 (03) :217-229
[8]  
Cignoli R., 2000, Trends in Logic-Studia Logica Library, V7
[9]  
Davey B.A., 2002, INTRODUCTION, V2nd, DOI DOI 10.1017/CBO9780511809088
[10]   Pro-finite MV-spaces [J].
Di Nola, A ;
Grigolia, R .
DISCRETE MATHEMATICS, 2004, 283 (1-3) :61-69