Skip to main content
SpringerLink
Log in

Presheaf semantics and independence results for some non-classical first-order logics

  • Published:
Archive for Mathematical Logic Aims and scope Submit manuscript

Abstract

The logicD-J of the weak exluded middle with constant domains is proved to be incomplete with respect to Kripke semantics, by introducing models in presheaves on an arbitrary category. Additional incompleteness results are obtained for the modal systems with nested domains extendingQ-S4.1.

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

  • Corsi, G., Ghilardi, S.: Directed frames. Arch. Math. Logic29, 53–67 (1990)

    Google Scholar 

  • Gerla, G.G.: Transformational semantics for first order logic. Logique Anal., Nuovo Ser.30, no. 117–118, pp. 69–79 (1987)

    Google Scholar 

  • Ghilardi, S.: Incompleteness results in Kripke semantics. (Manuscript, 1989)

  • Ghilardi, S., Meloni, G.C.: Modal and tense predicate logic: models in presheaves and categorical conceptualization, In: Borceux, F. (ed.) Categorical algebra and its applications. Proceedings Louvain-La-Neuve 1987. Lect. Notes Math., Vol. 1348, pp. 130–142. Berlin Heidelberg New York Tokyo: Springer 1988

    Google Scholar 

  • Lemmon, E.J.: An introduction to modal logic. Blackwell, Oxford (1977)

    Google Scholar 

  • Makkai, M., Reyes, G.E.: First order categorical logic. (Lect. Notes Math., Vol. 611). Berlin Heidelberg New York: Springer 1977

    Google Scholar 

  • Ono, H.: Model extension theorem and Craig's interpolation theorem for intermediate predicate logics. Rep. Math. Logic15, 41–58 (1983)

    Google Scholar 

  • Shehtman, V.B., Skvortsov, D.P.: Semantics for non-classical first order predicate logics. Proceedings of the Summer School and Conference on Mathematical Logic, Chaika (Bulgaria), 13–23 September 1988 (to appear)

Download references

Author information

Authors and Affiliations

  1. Dipartimento di Matematica “Federigo Enriques”, Università degli Studi di Milano, Via C. Saldini 50, I-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. Presheaf semantics and independence results for some non-classical first-order logics. Arch Math Logic 29, 125–136 (1989). https://doi.org/10.1007/BF01620621

Download citation

  • Received:

  • Issue Date:

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

Keywords

Search

Navigation