On the lattice of varieties of residuation algebras (Q5932484)
From MaRDI portal
scientific article; zbMATH DE number 1602890
Language | Label | Description | Also known as |
---|---|---|---|
English | On the lattice of varieties of residuation algebras |
scientific article; zbMATH DE number 1602890 |
Statements
On the lattice of varieties of residuation algebras (English)
0 references
10 June 2001
0 references
A partially ordered monoid (pomonoid) \({\mathbf B}=\langle B;\oplus ,0,\leq \rangle \) is called left residuated if for any \(x,y\in B\) there exists \(x\setbox 1 \hbox {}-\)
0 references
left residuation algebra
0 references
integral pomonoid
0 references
quasivariety
0 references
variety
0 references