Embedding theorems for classes of GBL-algebras

DOI10.1016/j.jpaa.2009.11.015zbMath1192.06012OpenAlexW2167876084MaRDI QIDQ964512

Franco Montagna, Peter Jipsen

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

zbMATH Keywords

nucleusresiduated latticesBL-algebrasGBL-algebras

Mathematics Subject Classification ID

Other algebras related to logic (03G25) MV-algebras (06D35) Ordered semigroups and monoids (06F05)

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