A theory of propositional types
Fundamenta Mathematicae 52:323-334 (1963)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | No keywords specified (fix it) | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,679 |
| External links | This entry has no external links. Add one. |
| Through your library | Configure |
Similar books and articlesKevin C. Klement (2010). The Functions of Russell's No Class Theory. Review of Symbolic Logic 3 (4):633-664.
Yonatan Goshen-Gottstein (1999). The Functional Role of Representations Cannot Explain Basic Implicit Memory Phenomena. Behavioral and Brain Sciences 22 (5):768-769.
P. W. Hanks (2011). Structured Propositions as Types. Mind 120 (477):11-52.
Karl Christoph Klauer (1997). Working Memory Involvement in Propositional and Spatial Reasoning. Thinking and Reasoning 3 (1):9 – 47.
Leon Henkin (1950). Completeness in the Theory of Types. Journal of Symbolic Logic 15 (2):81-91.
Peter Andrews (1963). A Reduction of the Axioms for the Theory of Propositional Types. Fundamenta Mathematicae 52:345-350.
Brice Halimi (2011). The Versatility of Universality inPrincipia Mathematica. History and Philosophy of Logic 32 (3):241-264.
Andrzej Grzegorczyk (1964). A Note on the Theory of Propositional Types. Fundamenta Mathematicae 54:27-29.
Analytics
Monthly downloads
Sorry, there are not enough data points to plot this chart.
|
Added to index2010-08-17Total downloads0Recent downloads (6 months)0How can I increase my downloads? |
My notes
Discussion
