Skip to main content
SpringerLink
Log in

Quantified extensions of canonical propositional intermediate logics

  • Published:
Studia Logica Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. G. C. Chang, H. J. Keisler, Model theory, III ed. North Holland, 1990.

  2. D. Gabbay, Semantical investigations in Heyting's intuitionistic logic, Reidel, 1981.

  3. S. Ghilardi, Presheaf semantics and independence results for some non classical first order logics, Archive for Mathematical Logic 29 (1990), 125–136.

    Google Scholar 

  4. S. Ghilardi, Incompleteness results in Kripke semantics, Journal of Symbolic Logic, vol. 56, n.2 (1991) pp. 517–538.

    Google Scholar 

  5. S. Ghilardi, Modalità e categorie, tesi di dottorato in Matematica, Università degli Studi di Milano (1990).

  6. S. Ghilardi, G. Meloni, Completezza per logiche intermedie, Atti degli incontri di logica matematica, vol.II, (1985) pp. 613–620, Università di Siena, Siena.

    Google Scholar 

  7. S. Ghilardi, G. Meloni, Modal and tense predicate logic: models in presheaves and categorical conceptualization, Springer LNM 1348, (1988) pp. 130–142.

    Google Scholar 

  8. 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.

  9. M. Makkai, G. E. Reyes, First order categorical logic, Springer LNM 611, 1977.

  10. H. Ono, Model extension theorem and Craig's interpolation theorem for intermediate predicate logics, Reports on mathematical logic 15, (1983) pp. 41–58.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dipartimento di Matematica “F. Enriques”, Università Degli Studi di Milano via C, Saldini 50, 20133, Milano, Italy

    Silvio Ghilardi

Authors
  1. Silvio Ghilardi
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints 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

Download citation

  • Received:

  • Revised:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF00370113

Keywords

Search

Navigation