Nagashima Takashi. An extension of the Craig-Schütte interpolation theorem. Annals of the Japan Association for Philosophy of Science, vol. 3 no. 1 , pp. 12–18 [Book Review]

Journal of Symbolic Logic 33 (2):291-292 (1968)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2269891

Links

PhilArchive



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

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

An Extension of the Craig-Sch^|^uuml;tte Interpolation Theorem.Takashi Nagashima - 1966 - Annals of the Japan Association for Philosophy of Science 3 (1):12-18.
An Extension of the Craig-Schütte Interpolation Theorem.Takashi Nagashima - 1968 - Journal of Symbolic Logic 33 (2):291-292.
Interpolation Theorem and Characterization Theorem.Nobuyoshi Motohashi - 1972 - Annals of the Japan Association for Philosophy of Science 4 (2):85-150.
Non-constructive Proofs of a Metamathematical Theorem Concerning the Consistency of Analysis and its Extension.Sh^|^Ocirc Maehara, Ji, Toshio Nishimura & Setsuya Seki - 1960 - Annals of the Japan Association for Philosophy of Science 1 (5):269-288.
Philosophy of Science in Japan 1996-2000.Takashi Iida - 2001 - Annals of the Japan Association for Philosophy of Science 10 (2):81-89.
Professor Quine on Japanese Classifiers.Takashi Iida - 1998 - Annals of the Japan Association for Philosophy of Science 9 (3):111-118.
The Craig interpolation theorem for prepositional logics with strong negation.Valentin Goranko - 1985 - Studia Logica 44 (3):291 - 317.
Nagai Hiroshi. The concept of formality in mathematics. Annals of the Japan Association for Philosophy of Science, vol. 1 no. 5 , pp. 289–312. [REVIEW]Kurt Schütte - 1963 - Journal of Symbolic Logic 28 (3):249-250.
Takeuti Gaisi. On the formal theory of the ordinal diagrams. Annals of the Japan Association for Philosophy of Science, vol. 1 no. 3 , pp. 151–170. [REVIEW]Kurt Schütte - 1959 - Journal of Symbolic Logic 24 (1):65-65.
On the interpolation property of some intuitionistic modal logics.C. Luppi - 1996 - Archive for Mathematical Logic 35 (3):173-189.
Interpolation properties of superintuitionistic logics.Larisa L. Maksimova - 1979 - Studia Logica 38 (4):419 - 428.
Takeuti Gaisi. Construction of ramified real numbers. Annals of the Japan Association for Philosophy of Science, Bd. 1 Heft 1 , S. 41–61. [REVIEW]Kurt Schütte - 1957 - Journal of Symbolic Logic 22 (4):352-352.
Craig’s Theorem.Jeffrey Ketland - unknown
Notes on Craig interpolation for LJ with strong negation.Norihiro Kamide - 2011 - Mathematical Logic Quarterly 57 (4):395-399.
An extension of the Craig-Lyndon interpolation theorem.Leon Henkin - 1963 - Journal of Symbolic Logic 28 (3):201-216.

Analytics

Added to PP
2013-11-22

Downloads
20 (#723,940)

6 months
4 (#698,851)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Anne Troelstra
Last affiliation: University of Amsterdam

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references