Constructive canonicity in non-classical logics

Annals of Pure and Applied Logic

Volumn 86, Issue 1, 1997, Pages 1-32

  Ghilardi, Silvio ^a   Meloni, Giancarlo ^a  

^a UNIVERSITY OF MILAN   (Italy)

Author keywords

Canonicity; Intermediate and modal logics; Locales; Stone representation

Indexed keywords

EID: 0031566424     PISSN: 01680072     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0168-0072(96)00048-6     Document Type: Article

References (10)

1. [1] J. van Benthem, Modal logic and classical logic, Bibliopolis, Napoli (1983).
2. [2] K. Fine, An incomplete logic containing S4, Theoria 40 (1974) 23-29.
3. [3] S. Ghilardi and G. Meloni, Sulle relazioni di copertura nel modello dei filtri di una teoria proposizionale intuizionista, Rend. Ist. Lomb. Accad. Sci. Lett. A 117 (1983) 223-235.
4. [4] S. Ghilardi and G. Meloni, Completezza per logiche intermedie, Atti degli Incontri di Logica Matematica, Vol. II, Siena (1985) 613-620.
5. [5] R. Goldblatt, The McKinsey axiom is not canonical, J. Symbolic Logic 56 (1991) 554-562.
6. [6] A. Joyal, Les théorèmes de Chevalley-Tarski et remarques sur l'Algèbre constructive, Cahiers Top Géom. Diff. XVI (1975) 256-258.
7. [7] H. Sahlqvist, Completeness and correspondence in the first and second order semantics for modal logic, Proc. 3rd Scandinavian Logic Symp. (North Holland, Amsterdam, 1975) 110-143.
8. [8] G. Sambin and V. Vaccaro, A new proof of Sahlqvist's theorem on modal definability and completeness, J. Symbolic Logic 54 (1989) 992-999.
9. [9] V.B. Shehtman, On incomplete propositional logics, Dokl. Akad. Nauk SSSR 235 (1977) 542-545.
10. [10] S.K. Thomason, An incompleteness theorem in modal logic, Theoria 40 (1974) 30-34.