Abstract
The quantified extension of a canonical prepositional intermediate logic is complete with respect to the generalization of Kripke semantics taking into consideration set-valued functors defined on a category.
Similar content being viewed by others
References
G. C. Chang, H. J. Keisler, Model theory, III ed. North Holland, 1990.
D. Gabbay, Semantical investigations in Heyting's intuitionistic logic, Reidel, 1981.
S. Ghilardi, Presheaf semantics and independence results for some non classical first order logics, Archive for Mathematical Logic 29 (1990), 125–136.
S. Ghilardi, Incompleteness results in Kripke semantics, Journal of Symbolic Logic, vol. 56, n.2 (1991) pp. 517–538.
S. Ghilardi, Modalità e categorie, tesi di dottorato in Matematica, Università degli Studi di Milano (1990).
S. Ghilardi, G. Meloni, Completezza per logiche intermedie, Atti degli incontri di logica matematica, vol.II, (1985) pp. 613–620, Università di Siena, Siena.
S. Ghilardi, G. Meloni, Modal and tense predicate logic: models in presheaves and categorical conceptualization, Springer LNM 1348, (1988) pp. 130–142.
S. Ghilardi, G. Meloni, Relational and topological semantics for temporal and modal predicative logic, Nuovi problemi della logica e della filosofia della scienza, vol. II, CLUEB, Bologna 1991, pp. 59–77.
M. Makkai, G. E. Reyes, First order categorical logic, Springer LNM 611, 1977.
H. Ono, Model extension theorem and Craig's interpolation theorem for intermediate predicate logics, Reports on mathematical logic 15, (1983) pp. 41–58.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Ghilardi, S. Quantified extensions of canonical propositional intermediate logics. Stud Logica 51, 195–214 (1992). https://doi.org/10.1007/BF00370113
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF00370113