Compact representations of BL-algebras

被引:33
作者
Di Nola, A
Leustean, L
机构
[1] Univ Salerno, Fac Sci, Dipartimento Matemat & Informat, I-84081 Baronissi, Salerno, Italy
[2] Natl Inst Res & Dev Informat, Bucharest 71316 1, Romania
关键词
BL-algebras; basic logic; sheaf representations; Gelfand duality;
D O I
10.1007/s00153-003-0178-y
中图分类号
O1 [数学];
学科分类号
0701 ; 070101 ;
摘要
In this paper we define sheaf spaces of BL-algebras (or BL-sheaf spaces), we study completely regular and compact BL-sheaf spaces and compact representations of BL-algebras and, finally, we prove that the category of non-trivial BL-algebras is equivalent with the category of compact local BL-sheaf spaces.
引用
收藏
页码:737 / 761
页数:25
相关论文
共 26 条
  • [1] [Anonymous], 1939, DOKL AKAD NAUK SSSR
  • [2] Bigard A., 1971, Lecture Notes in Mathematics, V608
  • [3] BURRIS S, 1991, COURSE UNIVERSAL ALG
  • [4] Cignoli R. L, 2013, Algebraic foundations of many-valued reasoning, V7
  • [5] CORNISH W. H., 1972, J AUSTR MATH SOC, V14, P200
  • [6] SHEAF SPACES AND SHEAVES OF UNIVERSAL ALGEBRAS
    DAVEY, BA
    [J]. MATHEMATISCHE ZEITSCHRIFT, 1973, 134 (04) : 275 - 290
  • [7] Boolean products of BL-algebras
    Di Nola, A
    Georgescu, G
    Leustean, L
    [J]. JOURNAL OF MATHEMATICAL ANALYSIS AND APPLICATIONS, 2000, 251 (01) : 106 - 131
  • [8] DINOLA A, 2002, MULT VALUED LOG, V134, P717
  • [9] DINOLA A, 2002, MULT VALUED LOG, V134, P673
  • [10] Filipoiu A., 1995, REV ROUMAINE MATH PU, V40, P599