Congruence Boolean Lifting Property
From MaRDI portal
Publication:4963161
Abstract: We introduce and study the Congruence Boolean Lifting Property (CBLP) for congruence--distributive universal algebras, as well as a property related to CBLP, which we have called . CBLP extends the so--called Boolean Lifting Properties (BLP) from MV--algebras, BL--algebras and residuated lattices, but differs from the BLP when particularized to bounded distributive lattices. Important classes of universal algebras, such as discriminator varieties, fulfill the CBLP. The main results of the present paper include a characterization theorem for congruence--distributive algebras with CBLP and a structure theorem for semilocal arithmetical algebras with CBLP. When we particularize the CBLP to the class of residuated lattices and to that of bounded distributive lattices and we study its relation to other Boolean Lifting Properties for these algebras, interesting results concerning the image of the reticulation functor between these classes are revealed.
Recommendations
- Factor congruence lifting property
- Boolean lifting property for residuated lattices
- Boolean lifting property in quantales
- Boolean lifting properties for bounded distributive lattices
- Boolean factor congruences and property \((*)\)
- scientific article; zbMATH DE number 4029847
- Lifting Theorems for Equality
- Properties of Boolean orthoposets
- scientific article; zbMATH DE number 4174998
- On the congruence extension property
Cites work
- scientific article; zbMATH DE number 5313480 (Why is no real title available?)
- scientific article; zbMATH DE number 5508310 (Why is no real title available?)
- scientific article; zbMATH DE number 4035895 (Why is no real title available?)
- scientific article; zbMATH DE number 3751028 (Why is no real title available?)
- scientific article; zbMATH DE number 3762122 (Why is no real title available?)
- scientific article; zbMATH DE number 3777562 (Why is no real title available?)
- scientific article; zbMATH DE number 3501559 (Why is no real title available?)
- scientific article; zbMATH DE number 1209765 (Why is no real title available?)
- scientific article; zbMATH DE number 5268066 (Why is no real title available?)
- scientific article; zbMATH DE number 3291972 (Why is no real title available?)
- Algebraic and topological results on lifting properties in residuated lattices
- Boolean lifting properties for bounded distributive lattices
- Boolean lifting property for residuated lattices
- Characterization of the reticulation of a residuated lattice
- Co-Stone residuated lattices
- Dense elements and classes of residuated lattices
- Further functorial properties of the reticulation
- Gelfand and exchange rings: their spectra in pointfree topology
- Lattice-theoretic properties of algebras of logic
- Lattices and ordered algebraic structures
- Mathematics behind fuzzy logic
- Maximal residuated lattices with lifting Boolean center
- Neat rings
- On prime spectrums of 2-primal rings.
- Prime spectra in modular varieties
- Residuated lattices. An algebraic glimpse at substructural logics
Cited in
(6)- Algebraic and topological results on lifting properties in residuated lattices
- Boolean lifting property in quantales
- Boolean lifting property for residuated lattices
- Factor congruence lifting property
- Boolean lifting properties for bounded distributive lattices
- Classes of pseudo BL-algebras with right Boolean lifting property
This page was built for publication: Congruence Boolean Lifting Property
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4963161)
