A formulation of the simple theory of types
Journal of Symbolic Logic 5 (2):56-68 (1940)
| Abstract | This article has no associated abstract. (fix it) |
| Keywords | No keywords specified (fix it) |
| Categories | (categorize this paper) |
| DOI | 10.2307/2266170 |
| Options |
Save to my reading list
Follow the author(s)
My bibliography
Export citation
Edit this record
Mark as duplicate
Request removal from index
|
Download optionsOur Archive
Upload a copy of this paper Check publisher's policy Papers currently archived: 26,804
External links
- From the Publisher via CrossRef (no proxy)
- projecteuclid.org
(no proxy) - projecteuclid.org [2] (no proxy)
- journals.cambridge.org (no proxy)
- jstor.org (no proxy)
- jstor.org [2] (no proxy)
- jstor.org [3] (no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
- Sign in / register and customize your OpenURL resolver..
- Configure custom resolver
References found in this work BETA
No references found.
Citations of this work BETA
On the Termination of Russell's Description Elimination Algorithm.Clemens Grabmayer, Joop Leo, Vincent van Oostrom & Albert Visser - 2011 - Review of Symbolic Logic 4 (3):367-393.
Completeness and Categoricity. Part I: Nineteenth-Century Axiomatics to Twentieth-Century Metalogic.Steve Awodey & Erich H. Reck - 2002 - History and Philosophy of Logic 23 (1):1-30.
Combining Montague Semantics and Discourse Representation.Reinhard Muskens - 1996 - Linguistics and Philosophy 19 (2):143 - 186.
Supra-Logic: Using Transfinite Type Theory with Type Variables for Paraconsistency.Jørgen Villadsen - 2005 - Journal of Applied Non-Classical Logics 15 (1):45-58.
Formal Semantics in Modern Type Theories with Coercive Subtyping.Zhaohui Luo - 2012 - Linguistics and Philosophy 35 (6):491-513.
View all 61 citations / Add more citations
Similar books and articlesRussell's Way Out of the Paradox of Propositions.André Fuhrmann - 2002 - History and Philosophy of Logic 23 (3):197-213.
Schröder's Anticipation of the Simple Theory of Types.Alonzo Church - 1976 - Erkenntnis 8 (1):407 - 411.
Definability and Definable Groups in Simple Theories.Anand Pillay - 1998 - Journal of Symbolic Logic 63 (3):788-796.
A Relational Formulation of the Theory of Types.Reinhard Muskens - 1989 - Linguistics and Philosophy 12 (3):325 - 346.
A Note on Subgroups of the Automorphism Group of a Saturated Model, and Regular Types.A. Pillay - 1989 - Journal of Symbolic Logic 54 (3):858-864.
Logicism and the Problem of Infinity: The Number of Numbers.G. Landini - 2011 - Philosophia Mathematica 19 (2):167-212.
A Partial Functions Version of Church's Simple Theory of Types.William M. Farmer - 1990 - Journal of Symbolic Logic 55 (3):1269-1291.
Monthly downloads
Added to index
2009-01-28Total downloads
56 ( #92,529 of 2,159,093 )Recent downloads (6 months)
12 ( #29,736 of 2,159,093 )How can I increase my downloads?
My notes
Discussion
Nothing in this forum yet.
