No label defined (Q4287485)
From MaRDI portal
scientific article; zbMATH DE number 549966
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 549966 |
Statements
13 June 1995
0 references
Kripke semantics
0 references
Jónsson-Tarski representation theorem
0 references
equational definability
0 references
residuation
0 references
Galois connections
0 references
distributoid
0 references
distributive lattice with additional finitary operations
0 references
gaggle
0 references
