Unary-determined distributive \(\ell \)-magmas and bunched implication algebras (Q2695343)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Unary-determined distributive \(\ell \)-magmas and bunched implication algebras |
scientific article |
Statements
Unary-determined distributive \(\ell \)-magmas and bunched implication algebras (English)
0 references
30 March 2023
0 references
distributive lattice-ordered magmas
0 references
bunched implication algebras
0 references
idempotent semirings
0 references
enumerating finite models
0 references
