On generalized hoops, homomorphic images of residuated lattices, and (G)BL-algebras
type: Item
instance of: scholarly article
title: On generalized hoops, homomorphic images of residuated lattices, and (G)BL-algebras
zbMATH Open document ID: 1386.06015
author: Peter Jipsen
published in: Soft Computing
publication date: 2018-02-23T00:00:00Z
full work available at URL: https://digitalcommons.chapman.edu/cgi/viewcontent.cgi
Mathematics Subject Classification ID: 06D35
Mathematics Subject Classification ID: 03G25
zbMATH DE Number: 6843085
zbMATH Keywords: BL-algebras
zbMATH Keywords: finitely generated BL-varieties
zbMATH Keywords: GBL-algebras
MaRDI profile type: Publication
OpenAlex ID: W2528103913
Wikidata QID: Q123365539
cites work: The free \(n\)-generated BL-algebra
cites work: Varieties of BL-algebras. I: General properties.
cites work: Applications of Finite Duality to Locally Finite Varieties of BL-Algebras
cites work: Automated theorem provers for multiple-valued logics with satisfiability modulo theory solvers
cites work: Varieties of commutative residuated integral pomonoids and their residuation subreducts
cites work: Komplementäre Halbgruppen. Axiomatik und Arithmetik
cites work: Komplementäre Halbgruppen Kongruenzen und Quotienten
cites work: On normal-valued basic pseudo-hoops
cites work: On finite models of the Lambek calculus
cites work: Residuated lattices. An algebraic glimpse at substructural logics
cites work: Generalized MV-algebras
cites work: Many-valued logic and mixed integer programming
cites work: Metamathematics of fuzzy logic
cites work: On the structure of generalized BL-algebras
cites work: The Blok-Ferreirim theorem for normal GBL-algebras and its application
cites work: Embedding theorems for classes of GBL-algebras
cites work: Algebras Whose Congruence Lattices are Distributive.
cites work: Satisfiability in many-valued sentential logic is NP-complete
cites work: Q4359793
DOI: 10.1007/S00500-016-2345-1
description: scientific article; zbMATH DE number 6843085