On generalized hoops, homomorphic images of residuated lattices, and (G)BL-algebras
From MaRDI portal
Publication:1699728
DOI10.1007/s00500-016-2345-1zbMath1386.06015OpenAlexW2528103913WikidataQ123365539 ScholiaQ123365539MaRDI QIDQ1699728
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
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
