On generalized hoops, homomorphic images of residuated lattices, and (G)BL-algebras
From MaRDI portal
Publication:1699728
DOI10.1007/S00500-016-2345-1zbMATH Open1386.06015OpenAlexW2528103913WikidataQ123365539 ScholiaQ123365539MaRDI QIDQ1699728FDOQ1699728
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
Cites Work
- Title not available (Why is that?)
- Metamathematics of fuzzy logic
- On the structure of generalized BL-algebras
- Residuated lattices. An algebraic glimpse at substructural logics
- Satisfiability in many-valued sentential logic is NP-complete
- Generalized MV-algebras
- Algebras Whose Congruence Lattices are Distributive.
- Varieties of BL-algebras. I: General properties.
- The free \(n\)-generated BL-algebra
- Varieties of commutative residuated integral pomonoids and their residuation subreducts
- Many-valued logic and mixed integer programming
- Applications of Finite Duality to Locally Finite Varieties of BL-Algebras
- Komplementäre Halbgruppen. Axiomatik und Arithmetik
- Embedding theorems for classes of GBL-algebras
- Komplementäre Halbgruppen Kongruenzen und Quotienten
- The Blok-Ferreirim theorem for normal GBL-algebras and its application
- On finite models of the Lambek calculus
- On normal-valued basic pseudo-hoops
- Automated theorem provers for multiple-valued logics with satisfiability modulo theory solvers
Cited In (3)
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)
