Abstract.
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.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Bigard, A., Keimel, K., Wolfenstein, S.: Groupes et Anneaux Réticulés. Lect. Notes Math. 608, Springer Verlag, Berlin Heidelberg New York, 1977
Burris, S., Sankappanavar, H. P.: A Course in Universal Algebra, Springer Verlag, New York, 1981
Cignoli, R., D’Ottaviano, I.M.L., Mundici, D.: Algebraic Foundations of many-valued Reasoning. Kluwer Academic Publishers, Dordrecht, 2000
Cornish, W.: Normal lattices. J. Austral. Math. Soc., 14, 200–215 (1972)
Davey, B.A.: Sheaf spaces and sheaves of universal algebras. Math. Z. 134, 275–290 (1973)
Di Nola, A., Georgescu, G., Iorgulescu, A.: Pseudo-BL algebras I. Mult.-Valued Log. 134(5-6), 673–716 (2002)
Di Nola, A., Georgescu, G., Iorgulescu, A.: Pseudo-BL algebras II. Mult.-Valued Log. 134(5-6), 717–750 (2002)
Di Nola, A., Georgescu, G., Leuştean, L.: Boolean products of BL-algebras. J. Math. Anal. Appl. 251, 106–131 (2000)
Filipoiu, A., Georgescu, G.: Compact and Pierce representations of MV-algebras. Rev. Roum. Math. Pures Appl. 40(7–8), 599–618 (1995)
Gelfand, I., Kolmogoroff, A.: On rings of continuous functions on topological spaces. Dokl. Akad. Nauk. SSSR 22, 11–15 (1939)
Georgescu, G., Leuştean, L.: Some classes of pseudo-BL algebras. J. Austral. Math. Soc., 73, 127–153 (2002)
Georgescu, G., Voiculescu, I.: Some abstract maximal-ideal like spaces. Algebra Univers. 26(1–2), 90–102 (1989)
Hájek, P.: Metamathematics of Fuzzy Logic. Kluwer Academic Publishers, Dordrecht, 1998
Keimel, K.: The representation of lattice-ordered groups and rings by sections in sheaves. In: Lectures Appl. Sheaves Ring Theory. Tulane Univ. Ring Operator Theory Year 1970-1971, 3, Lect. Notes Math. 248, Springer Verlag, 1977, pp. 1–98
Leuştean, L.: The prime and maximal spectra and the reticulation of BL-algebras. Submitted
Mulvey, C.J.: Compact ringed spaces. J. Algebra 52, 411–436 (1978)
Mulvey, C.J.: Representations of rings and modules. In: Applications of sheaves. Proc. Res. Symp., Durham 1977, Lect. Notes Math. 753, Springer Verlag 1979, pp. 542–585
Mulvey, C.J.: A generalisation of Gelfand duality. J. Algebra 56, 499–505 (1979)
Pawar, Y.S.: Characterizations of normal lattices. Indian J. Pure Appl. Math. 24(11), 651–656 (1993)
Schubert, H.: Topology. Macdonald Technical and Scientific, London, 1968
Simmons, H.: Reticulated rings. J. Algebra 66, 169–192 (1980)
Swan, R.S.: The theory of sheaves. Chicago Lectures in Mathematics, The University of Chicago Press, Chicago and London, 1964
Tennison, B.R.: Sheaf theory. London Mathematical Society Lecture Notes Series 20, Cambridge University Press, Cambridge etc. 1975
Turunen, E.: BL-algebras of basic fuzzy logic, Mathware Soft Comput. 6(1), 49–61 (1999)
Turunen, E., Sessa, S.: Local BL-algebras. Mult.-Valued Log. 6(1–2), 229–249 (2001)
Wallman, H.: Lattices and topological spaces. Ann. Math. (2) 39, 112–126 (1938)
Author information
Authors and Affiliations
Corresponding author
Additional information
Mathematics Subject Classification (2000): 08A72, 03G25, 54B40, 06F99, 06D05
Rights and permissions
About this article
Cite this article
Di Nola, A., Leuştean, L. Compact representations of BL-algebras. Arch. Math. Logic 42, 737–761 (2003). https://doi.org/10.1007/s00153-003-0178-y
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00153-003-0178-y