Residuated expansions of lattice-ordered structures (Q2658277)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Residuated expansions of lattice-ordered structures |
scientific article |
Statements
Residuated expansions of lattice-ordered structures (English)
0 references
19 March 2021
0 references
residuated expansion
0 references
law of residuation
0 references
lattice-ordered groupoid
0 references
lattice with implication
0 references
weak Heyting algebra
0 references
Visser algebra
0 references
0 references
0 references
