Compact representations of BL-algebras
From MaRDI portal
Publication:1423632
DOI10.1007/s00153-003-0178-yzbMath1040.03048OpenAlexW1977510182MaRDI QIDQ1423632
Laurenţiu Leuştean, Antonio Di Nola
Publication date: 7 March 2004
Published in: Archive for Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00153-003-0178-y
Other algebras related to logic (03G25) MV-algebras (06D35) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20)
Related Items
A representation theorem for integral rigs and its applications to residuated lattices. ⋮ Generalized co-annihilator of BL-algebras ⋮ Generalized fuzzy filters of \(R_{0}\)-algebras ⋮ Metrizability on (semi)topological BL-algebras ⋮ On pseudo-BL algebras and BCC-algebras ⋮ \(n\)-fold integral ideals and \(n\)-fold Boolean ideals in BL-algebras ⋮ Topology on BL-algebras ⋮ Tense Operators on BL-algebras and Their Applications ⋮ On the Category of EQ-algebras ⋮ Separation axioms in (semi)topological quotient BL-algebras ⋮ Sheaf representations of MV-algebras and lattice-ordered abelian groups via duality ⋮ New types of fuzzy filters of BL-algebras ⋮ Generalization of integral filters in BL-algebras and \(n\)-fold integral BL-algebras. ⋮ Generalized fuzzy filters in non-commutative residuated lattices. ⋮ Radical of filters in BL -algebras ⋮ On ideal theory of hoops ⋮ Fuzzy \(n\)-fold fantastic filters in BL-algebras ⋮ \(n\)-fold filters of MTL-algebras ⋮ Some kinds of \((\overline{\in},\overline{\in}\vee\overline q)\)-fuzzy filters of \(BL\)-algebras ⋮ Soft \(BL\)-algebras based on fuzzy sets ⋮ Some types of filters in BL algebras ⋮ Notes on topological BL-algebras ⋮ Some types of generalized fuzzy filters of BL-algebras ⋮ Interval valued \((\in,\in\!\vee\,q)\)-fuzzy filters of pseudo BL-algebras ⋮ Semitopological BL-algebras and MV-algebras ⋮ Filters by BL-homomorphisms ⋮ On (\(\in,\in \vee q\))-fuzzy filters of BL-algebras ⋮ Some results in BL -algebras ⋮ Some weaker versions of topological residuated lattices ⋮ Sheaf representations of BL-algebras