Abstract
In this paper we define the Boolean lifting property (BLP) for residuated lattices to be the property that all Boolean elements can be lifted modulo every filter, and study residuated lattices with BLP. Boolean algebras, chains, local and hyperarchimedean residuated lattices have BLP. BLP behaves interestingly in direct products and involutive residuated lattices, and it is closely related to arithmetic properties involving Boolean elements, nilpotent elements and elements of the radical. When BLP is present, strong representation theorems for semilocal and maximal residuated lattices hold.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Anderson DD, Camillo VP (2002) Commutative rings whose elements are a sum of a unit and an idempotent. Commun Algebra 30:3327–3336
Balbes R, Dwinger P (1974) Distributive lattices. University of Missouri Press, Columbia
Camillo VP, Yu HP (1994) Exchange rings. Units and idempotents. Commun Algebra 22:4737–4749
Cignoli R (1978) The lattice of sheaves of chains over boolean spaces. Algebra Universalis 8:353–373
Ciungu LC (2014) Non-commutative multiple-valued logic algebras., Springer Monographs in Mathematics Series. Springer International Publishing, Switzerland
Di Nola A, Georgescu G, Leuştean L (2000) Boolean products of BL-algebras. J Math Anal Appl 251:106–131
Filipoiu A, Georgescu G, Lettieri A (1997) Maximal MV-algebras. Mathware Soft Comput 4:53–62
Filipoiu A, Georgescu G (1995) Compact and Pierce representations of MV-algebras. Rev Roum Math Pures Appl 40:599–618
Galatos N, Jipsen P, Kowalski T, Ono H (2007) Residuated Lattices: An algebraic glimpse at substructural logics, Studies in Logic and The Foundations of Mathematics, vol 151. Elsevier, Amsterdam
Georgescu G, Leuştean L, Mureşan C (2010) Maximal residuated lattices with lifting Boolean center. Algebra Universalis 63(1):83–99
Hájek P (1998) Metamathematics of fuzzy logic., Trends in Logic-Studia Logica. Kluwer Academic Publishers, Dordrecht
Heyting A (1971) Intuitionism. An introduction, Studies in Logic and the Foundations of Mathematics. North-Holland Publishing Company, Amsterdam (1st edn 1956, 2nd revised edn 1966, 3rd revised edn)
Iorgulescu A (2008) Algebras of logic as BCK algebras. Editura ASE, Bucharest
Kowalski T, Ono H (2000) Residuated lattices: an algebraic glimpse at logics without contraction (manuscript)
Lam TY (1999) Lectures on modules and rings, Graduate Texts in Mathematics, vol 189. Springer, Berlin
Leuştean L (2010) Representations of many-valued algebras. Editura Universitară, Bucharest
Mureşan C (2010) Characterization of the reticulation of a residuated lattice. J Multiple-valued Logic Soft Comput 16(3–5):427–447 (Special Issue: Multiple-valued Logic and Its Algebras)
Mureşan C (2010) Dense elements and classes of residuated lattices. Bull Math Soc Sci Math Roumanie 53(101):11–24
Mureşan C (2013) Co-stone residuated lattices. Ann Univ Craiova 40(1)
Nicholson WK (1977) Lifting idempotents and exchange rings. Trans Am Math Soc 229:269–278
Piciu D (2007) Algebras of fuzzy logic. Editura Universitaria Craiova, Craiova
Turunen E (1999) Mathematics behind fuzzy logic., Advances in Soft Computing. Physica-Verlag, Heidelberg
Ward M, Dilworth RP (1939) Residuated lattices. Trans Am Math Soc 45:335–354
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by L. Spada.
Rights and permissions
About this article
Cite this article
Georgescu, G., Mureşan, C. Boolean lifting property for residuated lattices. Soft Comput 18, 2075–2089 (2014). https://doi.org/10.1007/s00500-014-1318-5
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00500-014-1318-5