A new characterization of complete Heyting and co-Heyting algebras (Q5367064)
From MaRDI portal
scientific article; zbMATH DE number 6790162
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A new characterization of complete Heyting and co-Heyting algebras |
scientific article; zbMATH DE number 6790162 |
Statements
12 October 2017
0 references
complete Heyting algebra
0 references
Veinott ordering
0 references
cs.LO
0 references
math.RA
0 references
