No label defined (Q4198475)
From MaRDI portal
scientific article; zbMATH DE number 3639590
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 3639590 |
Statements
1978
0 references
free closure algebra
0 references
modal logic
0 references
topological lattices
0 references
free Brower algebra
0 references
Kripke models
0 references
extension of S4
0 references
superintuitionistic logics
0 references
