Nonassociative right hoops

DOI10.1007/s00012-019-0618-0OpenAlexW2981694783WikidataQ126991484 ScholiaQ126991484MaRDI QIDQ2330336

Peter Jipsen, Michael K. Kinyon

Publication date: 28 October 2019

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

Full work available at URL: https://arxiv.org/abs/1810.06785

zbMATH Keywords

right quasigroupsnonassociative hoopsright residuated magmas

Mathematics Subject Classification ID

Lattices of varieties (08B15) Loops, quasigroups (20N05) Ordered semigroups and monoids (06F05)

Related Items (2)

Augmented quasigroups and character algebras ⋮ Algorithmic Correspondence for Relevance Logics I. The Algorithm $$\mathsf {PEARL}$$

Uses Software

• Prover9
• Mace4

Cites Work

• Ideals in universal algebras
• \(L\)-algebras, self-similarity, and \(l\)-groups
• Divisibility groupoids -- again
• Residuation groupoids -- again
• On generalized hoops, homomorphic images of residuated lattices, and (G)BL-algebras
• On normal-valued basic pseudo-hoops
• Komplementäre Halbgruppen. Axiomatik und Arithmetik
• Komplementäre Halbgruppen Kongruenzen und Quotienten

This page was built for publication: Nonassociative right hoops