Varieties of unary-determined distributive $\ell$-magmas and bunched implication algebras (Q6151561)
From MaRDI portal
scientific article; zbMATH DE number 7814920
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Varieties of unary-determined distributive $\ell$-magmas and bunched implication algebras |
scientific article; zbMATH DE number 7814920 |
Statements
Varieties of unary-determined distributive $\ell$-magmas and bunched implication algebras (English)
0 references
11 March 2024
0 references
distributive lattice-ordered magmas
0 references
bunched implication algebras
0 references
idempotent semirings
0 references
enumerating finite models
0 references
