Zariski-type topology for implication algebras (Q3566948)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Zariski-type topology for implication algebras |
scientific article |
Statements
Zariski-type topology for implication algebras (English)
0 references
10 June 2010
0 references
implication algebras
0 references
Zariski topology
0 references
implication spaces
0 references
compactification
0 references
one-point compactification
0 references
Stone space
0 references
Boolean closure
0 references
