Diego's theorem for nuclear implicative semilattices (Q2657649)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Diego's theorem for nuclear implicative semilattices |
scientific article |
Statements
Diego's theorem for nuclear implicative semilattices (English)
0 references
14 March 2021
0 references
implicative semilattice
0 references
nucleus
0 references
locally finite variety
0 references
duality theory
0 references
universal model
0 references
