Compact representations of BL-algebras

From MaRDI portal





The authors remark that they apply methods developed in some papers by \textit{C. J. Mulvey} [cf., e.g., J. Algebra 52, 411--436 (1978; Zbl 0418.18009)]. In this paper they study completely regular and compact BL-sheaf spaces, and the compactness theorem is proved. It is shown that each compact representation of a BL-algebra can be obtained from a family of filters of the BL-algebra satisfying certain coditions. The authors investigate the functor from the category of compact local BL-sheaf spaces to the category of nontrivial BL-algebras, obtained by assigning to each BL-sheaf space the BL-algebra of global sections; it is proved that this functor gives an equivalence between these categories.




Cited in
(36)








This page was built for publication: Compact representations of BL-algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1423632)