A system of formal logic without an analogue to the Curry W operator
Journal of Symbolic Logic 1 (3):92-100 (1936)
| 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,709 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesUlrich Meyer (2006). Worlds and Times. Notre Dame Journal of Formal Logic 47 (1):25--37.
Haskell B. Curry (1942). The Inconsistency of Certain Formal Logic. Journal of Symbolic Logic 7 (3):115-117.
Haskell B. Curry (1950). Language, Metalanguage, and Formal System. Philosophical Review 59 (3):346-353.
Seiki Akama (1996). Curry's Paradox in Contractionless Constructive Logic. Journal of Philosophical Logic 25 (2):135 - 150.
Ermanno Bencivenga & Peter W. Woodruff (1981). A New Modal Language with the Λ Operator. Studia Logica 40 (4):383 - 389.
Sergei P. Odintsov (2006). Absurdity as Unary Operator. Poznan Studies in the Philosophy of the Sciences and the Humanities 91 (1):225-242.
W. W. Tait (2003). The Completeness of Heyting First-Order Logic. Journal of Symbolic Logic 68 (3):751-763.
David Albrecht, Frank A. Bäuerle, John N. Crossley & John S. Jeavons (1998). Curry-Howard Terms for Linear Logic. Studia Logica 61 (2):223 - 235.
Frank A. Bäuerle, David Albrecht, John N. Crossley & John S. Jeavons (1998). Curry-Howard Terms for Linear Logic. Studia Logica 61 (2):223-235.
William J. Collins & Paul Young (1983). Discontinuities of Provably Correct Operators on the Provably Recursive Real Numbers. Journal of Symbolic Logic 48 (4):913-920.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads12 ( #93,475 of 550,047 )Recent downloads (6 months)3 ( #25,807 of 550,047 )How can I increase my downloads? |
My notes
Discussion
