期刊
ARCHIVE FOR MATHEMATICAL LOGIC
卷 42, 期 8, 页码 737-761出版社
SPRINGER-VERLAG
DOI: 10.1007/s00153-003-0178-y
关键词
BL-algebras; basic logic; sheaf representations; Gelfand duality
类别
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.
作者
我是这篇论文的作者
点击您的名字以认领此论文并将其添加到您的个人资料中。
推荐
暂无数据