A type-free gödel interpretation

Journal of Symbolic Logic 43 (2):213-227 (1978)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2272820

Other Versions

No versions found

Links

PhilArchive



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

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 interpretation of Martin-löf's type theory in a type-free theory of propositions.Jan Smith - 1984 - Journal of Symbolic Logic 49 (3):730-753.
Free Spectra of Linear Equivalential Algebras.Katarzyna Slomczyńska - 2005 - Journal of Symbolic Logic 70 (4):1341 - 1358.
Beeson Michael J.. Foundations of constructive mathematics. Metamathematical studies. Ergebnisse der Mathematik und ihrer Grenzgebiete, ser. 3 vol. 6. Springer-Verlag, Berlin, Heidelberg, New York, and Tokyo, 1985, xxiii + 466 pp. [REVIEW]William A. Howard - 1987 - Journal of Symbolic Logic 52 (1):278-279.
A cut-free Gentzen-type system for the modal logic S.Masahiko Sato - 1980 - Journal of Symbolic Logic 45 (1):67-84.
Review: Kurt Godel, John Dawson, An Interpretation of the Intuitionistic Propositional Calculus (1933f); A. S. Troelstra, Introductory Note to 1933f. [REVIEW]Martin Davis - 1990 - Journal of Symbolic Logic 55 (1):346-346.
Free and Projective Bimodal Symmetric Gödel Algebras.Revaz Grigolia, Tatiana Kiseliova & Vladimer Odisharia - 2016 - Studia Logica 104 (1):115-143.
Toward useful type-free theories. I.Solomon Feferman - 1984 - Journal of Symbolic Logic 49 (1):75-111.
The Generalised Type-Theoretic Interpretation of Constructive Set Theory.Nicola Gambino & Peter Aczel - 2006 - Journal of Symbolic Logic 71 (1):67 - 103.
Gödel on Concepts.Gabriella Crocco - 2006 - History and Philosophy of Logic 27 (2):171-191.
Solomon Feferman. Toward useful type-free theories I. The journal of symbolic logic, vol. 49 , pp. 75–111. , pp. 237–287.).Andrea Cantini - 1995 - Journal of Symbolic Logic 60 (1):342-345.

Analytics

Added to PP
2009-01-28

Downloads
35 (#648,116)

6 months
15 (#208,967)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Godel's functional interpretation.Jeremy Avigad & Solomon Feferman - 1998 - In Samuel R. Buss (ed.), Handbook of proof theory. New York: Elsevier. pp. 337-405.

Add more citations

References found in this work

No references found.

Add more references