residuated lattice (Q9462417)
Jump to navigation
Jump to search
algebraic structure that is both a lattice and a monoid, with operations x\z and z/y, analogous to division or implication, when the monoid operation is viewed as multiplication or conjunction, respectively
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | residuated lattice |
algebraic structure that is both a lattice and a monoid, with operations x\z and z/y, analogous to division or implication, when the monoid operation is viewed as multiplication or conjunction, respectively |
Statements
Identifiers
1 reference
Sitelinks
Wikipedia(3 entries)
- enwiki Residuated lattice
- ukwiki Ґратка з діленням
- zhwiki 剩余格