Interpolation Theorem and Characterization Theorem

Annals of the Japan Association for Philosophy of Science 4 (2):85-150 (1972)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.4288/jafpos1956.4.85

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,438

External links

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

A generalization of the interpolation theorem for the many-sorted calculus.Krzysztof Rudnik - 1984 - Bulletin of the Section of Logic 13 (1):2-8.
A relative interpolation theorem for infinitary universal Horn logic and its applications.Alexej P. Pynko - 2006 - Archive for Mathematical Logic 45 (3):267-305.
The road to two theorems of logic.William Craig - 2008 - Synthese 164 (3):333 - 339.
Interpolation properties of superintuitionistic logics.Larisa L. Maksimova - 1979 - Studia Logica 38 (4):419 - 428.
Coinductive formulas and a many-sorted interpolation theorem.Ursula Gropp - 1988 - Journal of Symbolic Logic 53 (3):937-960.
Harmonious logic: Craig’s interpolation theorem and its descendants.Solomon Feferman - 2008 - Synthese 164 (3):341 - 357.
On the interpolation property of some intuitionistic modal logics.C. Luppi - 1996 - Archive for Mathematical Logic 35 (3):173-189.
Equality and Lyndon's interpolation theorem.Nobuyoshi Motohashi - 1984 - Journal of Symbolic Logic 49 (1):123-128.
A Remark on Scott's Interpolation Theorem for $L{omega1omega}$.Nobuyoshi Motohashi - 1977 - Journal of Symbolic Logic 42 (1):63-63.
A remark on Scott's interpolation theorem for lω1ω.Nobuyoshi Motoháshi - 1977 - Journal of Symbolic Logic 42 (1):63 -.
The Craig interpolation theorem for prepositional logics with strong negation.Valentin Goranko - 1985 - Studia Logica 44 (3):291 - 317.
An interpolation theorem.Martin Otto - 2000 - Bulletin of Symbolic Logic 6 (4):447-462.
A remark on Africk's paper on Scott's interpolation theorem for lω1ω.Nobuyoshi Motohashi - 1979 - Journal of Symbolic Logic 44 (1):32 -.
A Remark on Africk's Paper on Scott's Interpolation Theorem for $L{omega1omega}$.Nobuyoshi Motohashi - 1979 - Journal of Symbolic Logic 44 (1):32-32.
On the proof theory of the intermediate logic MH.Jonathan P. Seldin - 1986 - Journal of Symbolic Logic 51 (3):626-647.

Analytics

Added to PP
2016-06-30

Downloads
24 (#646,208)

6 months
10 (#256,916)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Intuitionistic Version of the Los-Tarski-Robinson Theorem.Kokio Shirai - 1975 - Annals of the Japan Association for Philosophy of Science 4 (5):323-332.

Add more citations

References found in this work

Linear reasoning. A new form of the herbrand-Gentzen theorem.William Craig - 1957 - Journal of Symbolic Logic 22 (3):250-268.
Theory of models with generalized atomic formulas.H. Jerome Keisler - 1960 - Journal of Symbolic Logic 25 (1):1-26.
Some applications of infinitely long formulas.H. Jerome Keisler - 1965 - Journal of Symbolic Logic 30 (3):339-349.

View all 6 references / Add more references