Topological representation of intuitionistic and distributive abstract logics (Q2399600)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Topological representation of intuitionistic and distributive abstract logics |
scientific article |
Statements
Topological representation of intuitionistic and distributive abstract logics (English)
0 references
24 August 2017
0 references
abstract logics
0 references
topology
0 references
spectral spaces with implication
0 references
duality
0 references
intuitionistic logics
0 references
