Constructive canonicity in non-classical logics (Q1361246)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Constructive canonicity in non-classical logics |
scientific article |
Statements
Constructive canonicity in non-classical logics (English)
0 references
6 December 2000
0 references
modal logic
0 references
intermediate logic
0 references
Sahlqvist theorem
0 references
canonicity
0 references
difference connective
0 references
intuitionistic modalities
0 references
constructive analogue of Stone's representation theorem
0 references
