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

DOI10.1007/S00500-016-2345-1MaRDI QIDQ1699728zbMATH OpenOpenAlexWikidataFDO

Authors 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-algebrasfinitely generated BL-varietiesGBL-algebras

Mathematics Subject Classification ID

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

Recommendations

• On the structure of generalized BL-algebras
• The Blok-Ferreirim theorem for normal GBL-algebras and its application
• Hoops and Fuzzy Logic
• Applications of Finite Duality to Locally Finite Varieties of BL-Algebras
• Finiteness based results in BL-algebras

Cites work

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

Cited in

(3)

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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1699728)