Embedding theorems for classes of GBL-algebras
From MaRDI portal
Publication:964512
DOI10.1016/j.jpaa.2009.11.015zbMath1192.06012OpenAlexW2167876084MaRDI QIDQ964512
Publication date: 22 April 2010
Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jpaa.2009.11.015
Related Items
Group representation for even and odd involutive commutative residuated chains ⋮ Transfer theorems for finitely subdirectly irreducible algebras ⋮ Obituary: Franco Montagna (1948--2015) ⋮ On generalized hoops, homomorphic images of residuated lattices, and (G)BL-algebras ⋮ A Kripke Semantics for Hajek's BL ⋮ Some modal and temporal translations of generalized basic logic ⋮ A classification of certain group-like \(\mathrm{FL}_e\)-chains ⋮ On decomposition of pseudo BL-algebras ⋮ Amalgamation and interpolation in ordered algebras. ⋮ Representation of BL-algebras with finite independent spectrum ⋮ States of finite GBL-algebras with monoidal sum ⋮ The Hahn embedding theorem for a class of residuated semigroups ⋮ Poset product and BL-chains ⋮ Poset product and BL-algebras ⋮ The consequence relation in the logic of commutative GBL-algebras is PSPACE-complete ⋮ Conuclear images of substructural logics ⋮ Generalizations of Boolean products for lattice-ordered algebras ⋮ Construction Methods for Uninorms via Rotation, Rotation-Annihilation, and Twin Rotation ⋮ Poset products as relational models
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- On the structure of generalized BL-algebras
- Aglianò-Montagna type decomposition of linear pseudo hoops and its applications
- Generalizations of Boolean products for lattice-ordered algebras
- Ordered groups with a conucleus
- Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus
- Metamathematics of fuzzy logic
- Finite BL-algebras
- Generalized MV-algebras
- Varieties of BL-algebras. I: General properties.
- Algebraic foundations of many-valued reasoning
- On the structure of hoops
- Cancellative residuated lattices
- Decomposition of BL-chains
- The Blok-Ferreirim theorem for normal GBL-algebras and its application
- THE STRUCTURE OF RESIDUATED LATTICES
- Perfect GMV-Algebras
- Pseudo MV-algebras are intervals in ℓ-groups