A System of Formal Logic without an Analogue to the Curry W. Operator
Journal of Symbolic Logic 2 (1):37 (1937)
Abstract
This article has no associated abstract. (fix it)DOI
10.2307/2268800
Links
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
My notes
Similar books and articles
A system of formal logic without an analogue to the Curry W operator.Frederic Brenton Fitch - 1936 - Journal of Symbolic Logic 1 (3):92-100.
Haskell B. Curry. Philosophische Bemerkungen zu einigen Problemen der mathematischen Logik. Archiv für Philosophie, vol. 4 no. 2 , pp. 147–156. - Haskell B. Curry. L-semantics as a formal system. Congrès International de Philosophie des Sciences, Paris 1949, II Logique, Actualités scientifiques et industrielles 1134, Hermann & Cie, Paris1951, pp. 19–29. - Haskell B. Curry. On the definition of substitution, replacement and allied notions in an abstract formal system. Revue philosophique de Louvain, vol. 50 , pp. 251–269. - Haskell B. Curry. Mathematics, syntactics and logic. Mind, n. s. vol. 62 , pp. 172–183. - Haskell B. Curry. Les systèmes formels et les langues. Les méthodes formelles en axiomatique. Paris décembre 1950, Colloques internationaux du Centre National de la Recherche Scientifique no. 36, Paris1953, pp. 1–9. - Paul Bernays, L. E. J. Brouwer, Haskell B. Curry, A. Heyting, Abraham Robinson. Discussion. Les méthodes formelles en axiomatique. Paris décembre 1950, Colloques i. [REVIEW]Robert Feys - 1956 - Journal of Symbolic Logic 21 (4):374-377.
Discontinuities of provably correct operators on the provably recursive real numbers.William J. Collins & Paul Young - 1983 - Journal of Symbolic Logic 48 (4):913-920.
Two Flavors of Curry’s Paradox.Jc Beall & Julien Murzi - 2013 - Journal of Philosophy 110 (3):143-165.
Review: Haskell B. Curry, A Revision of the Fundamental Rules of Combinatory Logic; Haskell B. Curry, Consistency and Completeness of the Theory of Combinators. [REVIEW]Barkley Rosser - 1941 - Journal of Symbolic Logic 6 (4):170-170.
Curry-Howard terms for linear logic.Frank A. Bäuerle, David Albrecht, John N. Crossley & John S. Jeavons - 1998 - Studia Logica 61 (2):223-235.
Paraconsistent Belief Revision based on a formal consistency operator.Rafael R. Testa, Marcelo E. Coniglio & Márcio M. Ribeiro - 2015 - CLE E-Prints 15 (8):01-11.
Review: Haskell B. Curry, Language, Metalanguage, and Formal System. [REVIEW]A. R. Turquette - 1953 - Journal of Symbolic Logic 18 (3):270-270.
Curry Haskell B.. Language, metalanguage, and formal system. The philosophical review, vol. 59 , pp. 346–353.A. R. Turquette - 1953 - Journal of Symbolic Logic 18 (3):270-270.
Natural Deduction for Modal Logic with a Backtracking Operator.Jonathan Payne - 2015 - Journal of Philosophical Logic 44 (3):237-258.
Review: Haskell B. Curry, La Theorie des Combinateurs; Haskell B. Curry, La Logique Combinatoire et les Antinomies. [REVIEW]J. Barkley Rosser - 1956 - Journal of Symbolic Logic 21 (4):378-378.
Variations on a Theme of Curry.Lloyd Humberstone - 2006 - Notre Dame Journal of Formal Logic 47 (1):101-131.
What is “Formal Logic”?Jean-Yves Béziau - 2008 - Proceedings of the Xxii World Congress of Philosophy 13:9-22.
Disarming a Paradox of Validity.Hartry Field - 2017 - Notre Dame Journal of Formal Logic 58 (1):1-19.
Analytics
Added to PP
2013-11-22
Downloads
16 (#669,635)
6 months
1 (#450,425)
2013-11-22
Downloads
16 (#669,635)
6 months
1 (#450,425)
Historical graph of downloads
