Statements (15)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:mathematical_concept
|
| gptkbp:describes |
correspondence between varieties of Heyting algebras and varieties of interior algebras
|
| gptkbp:field |
gptkb:logic
algebraic logic |
| https://www.w3.org/2000/01/rdf-schema#label |
Blok–Esakia theorem
|
| gptkbp:namedAfter |
Leo Esakia
Wim Blok |
| gptkbp:relatedTo |
gptkb:logic
gptkb:Heyting_algebra interior algebra |
| gptkbp:usedIn |
intuitionistic logic
algebraic semantics of modal logic |
| gptkbp:yearProposed |
1974
|
| gptkbp:bfsParent |
gptkb:Willem_Blok
|
| gptkbp:bfsLayer |
7
|