On the lattice of varieties of residuation algebras

DOI10.1007/s000120050116zbMath0966.08008OpenAlexW1974320589MaRDI QIDQ5932484

Clint J. van Alten, James G. Raftery

Publication date: 10 June 2001

Published in: Algebra Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s000120050116

zbMATH Keywords

varietyintegral pomonoidleft residuation algebraquasivariety

Mathematics Subject Classification ID

Lattices of varieties (08B15) Other algebras related to logic (03G25) Ordered semigroups and monoids (06F05)

Related Items (3)

On varieties of biresiduation algebras ⋮ Constructive logic with strong negation is a substructural logic. I ⋮ On BCK algebras. II: New algebras. The ordinal sum (product) of two bounded BCK algebras

This page was built for publication: On the lattice of varieties of residuation algebras