Craig's interpolation theorem in some extended systems of logic

In B. van Rootselaar & Frits Staal (eds.), Logic, methodology and philosophy of science III. Amsterdam,: North-Holland Pub. Co.. pp. 87--103 (1968)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,130

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Craig's interpolation theorem for the intuitionistic logic and its extensions—A semantical approach.Hiroakira Ono - 1986 - Studia Logica 45 (1):19-33.
Craig's interpolation theorem for the intuitionistic logic of constant domains.Herman Ruge Jervell - 1971 - [Oslo,: Universitetet i Oslo, Matematisk institutt.
The many faces of interpolation.Johan Benthem - 2008 - Synthese 164 (3):451-460.
Interpolation in loop-free logic.Kenneth A. Bowen - 1980 - Studia Logica 39 (2-3):297 - 310.
Harmonious logic: Craig’s interpolation theorem and its descendants.Solomon Feferman - 2008 - Synthese 164 (3):341-357.
Interpolation properties of superintuitionistic logics.Larisa L. Maksimova - 1979 - Studia Logica 38 (4):419 - 428.
Interpolation in Computing Science: The Semantics of Modularization.Gerard R. Renardel De Lavalette - 2008 - Synthese 164 (3):437 - 450.
Interpolation for first order S5.Melvin Fitting - 2002 - Journal of Symbolic Logic 67 (2):621-634.
Tableaux and Interpolation for Propositional Justification Logics.Meghdad Ghari - 2024 - Notre Dame Journal of Formal Logic 65 (1):81-112.
Mostowski Andrzej. A classification of logical systems. Studia philosophica , vol. 4 , pp. 237–274.David Nelson - 1952 - Journal of Symbolic Logic 17 (4):274-275.

Analytics

Added to PP
2014-01-28

Downloads
8 (#1,577,832)

6 months
8 (#575,465)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Axioms for abstract model theory.K. Jon Barwise - 1974 - Annals of Mathematical Logic 7 (2-3):221-265.
Axioms for abstract model theory.K. J. Barwise - 1974 - Annals of Mathematical Logic 7 (2-3):221-265.
Noncharacterizability of the syntax set.John Paulos - 1976 - Journal of Symbolic Logic 41 (2):368-372.

Add more citations

References found in this work

No references found.

Add more references