On generalized hoops, homomorphic images of residuated lattices, and (G)BL-algebras

DOI10.1007/s00500-016-2345-1zbMath1386.06015OpenAlexW2528103913WikidataQ123365539 ScholiaQ123365539MaRDI QIDQ1699728

Peter Jipsen

Publication date: 23 February 2018

Published in: Soft Computing (Search for Journal in Brave)

Full work available at URL: https://digitalcommons.chapman.edu/cgi/viewcontent.cgi?article=1340&context=scs_articles

zbMATH Keywords

BL-algebrasGBL-algebrasfinitely generated BL-varieties

Mathematics Subject Classification ID

Other algebras related to logic (03G25) MV-algebras (06D35)

Related Items (3)

The structure of generalized BI-algebras and weakening relation algebras ⋮ A short note on divisible residuated semilattices ⋮ Nonassociative right hoops

Cites Work

• Unnamed Item
• The free \(n\)-generated BL-algebra
• On finite models of the Lambek calculus
• On the structure of generalized BL-algebras
• Residuated lattices. An algebraic glimpse at substructural logics
• Embedding theorems for classes of GBL-algebras
• Satisfiability in many-valued sentential logic is NP-complete
• Metamathematics of fuzzy logic
• Varieties of commutative residuated integral pomonoids and their residuation subreducts
• Automated theorem provers for multiple-valued logics with satisfiability modulo theory solvers
• Generalized MV-algebras
• Varieties of BL-algebras. I: General properties.
• Many-valued logic and mixed integer programming
• On normal-valued basic pseudo-hoops
• The Blok-Ferreirim theorem for normal GBL-algebras and its application
• Applications of Finite Duality to Locally Finite Varieties of BL-Algebras
• Algebras Whose Congruence Lattices are Distributive.
• Komplementäre Halbgruppen. Axiomatik und Arithmetik
• Komplementäre Halbgruppen Kongruenzen und Quotienten

This page was built for publication: On generalized hoops, homomorphic images of residuated lattices, and (G)BL-algebras