- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Works by Haskell B. Curry
60 found
Order:
Disambiguations
Disambiguations:
| Haskell B. Curry [56] | Haskell Brooks Curry [6] |
- Foundations of mathematical logic.Haskell Brooks Curry - 1963 - New York: Dover Publications.Comprehensive account of constructive theory of first-order predicate calculus. Covers formal methods including algorithms and epi-theory, brief treatment of Markov’s approach to algorithms, elementary facts about lattices and similar algebraic systems, more. Philosophical and reflective as well as mathematical. Graduate-level course. 1963 ed. Exercises.
- Combinatory logic.Haskell Brooks Curry - 1958 - Amsterdam,: North-Holland Pub. Co..CHAPTER Addenda to Pure Combinatory Logic This chapter will treat various additions to, and modifications of, the subject matter of Chapters-7. ...
- Outlines of a formalist philosophy of mathematics.Haskell Brooks Curry - 1951 - Amsterdam,: North-Holland Pub. Co..
- The inconsistency of certain formal logic.Haskell B. Curry - 1942 - Journal of Symbolic Logic 7 (3):115-117.
- The Inconsistency of Certain Formal Logics.Alonzo Church & Haskell B. Curry - 1942 - Journal of Symbolic Logic 7 (4):170.
- Combinatory Logic.Haskell B. Curry, J. Roger Hindley & Jonathan P. Seldin - 1977 - Journal of Symbolic Logic 42 (1):109-110.
- Combinatory Logic, Volume I.Haskell B. Curry, Robert Feys & William Craig - 1959 - Philosophical Review 68 (4):548-550.
- A Theory of Formal Deducibility.Haskell B. Curry - 1951 - Journal of Symbolic Logic 16 (1):56-58.
- Outlines of a Formalist Philosophy of Mathematics.Haskell B. Curry & Abraham Robinson - 1952 - British Journal for the Philosophy of Science 3 (10):197-200.
- Some Logical Aspects of Grammatical Structure.Haskell B. Curry - 1960 - Journal of Symbolic Logic 25 (4):341-341.
- Combinatory Logic Vol. 1.Haskell Brooks Curry & Robert M. Feys - 1958 - Amsterdam, Netherlands: North-Holland Publishing Company.No categories
- The elimination theorem when modality is present.Haskell B. Curry - 1952 - Journal of Symbolic Logic 17 (4):249-265.
- The combinatory foundations of mathematical logic.Haskell B. Curry - 1942 - Journal of Symbolic Logic 7 (2):49-64.
- The system LD.Haskell B. Curry - 1952 - Journal of Symbolic Logic 17 (1):35-42.
- On the definition of negation by a fixed proposition in inferential calculus.Haskell B. Curry - 1952 - Journal of Symbolic Logic 17 (2):98-104.
- Language, metalanguage, and formal system.Haskell B. Curry - 1950 - Philosophical Review 59 (3):346-353.No categories
- On the definition of substitution, replacement and allied notions in a abstract formal system.Haskell B. Curry - 1952 - Revue Philosophique De Louvain 50 (26):251-269.No categories
- Leçons de logique algébrique.Haskell B. Curry - 1952 - Paris,: Gauthier-Villars.
- Modified basic functionality in combinatory logic.Haskell B. Curry - 1969 - Dialectica 23 (2):83-92.
- Leçons de Logique Algébrique.Haskell B. Curry - 1952 - British Journal for the Philosophy of Science 3 (11):293-294.
- To H.B. Curry: essays on combinatory logic, lambda calculus, and formalism.Haskell B. Curry, J. Roger Hindley & J. P. Seldin (eds.) - 1980 - New York: Academic Press.
- Early history of the association for symbolic logic.C. J. Ducasse & Haskell B. Curry - 1962 - Journal of Symbolic Logic 27 (3):255-258.
- The Combinatory Foundations of Mathematical Logic.Haskell B. Curry - 1943 - Journal of Symbolic Logic 8 (1):31-31.
- Some Aspects of the problem of Mathematical Rigor.Haskell B. Curry - 1941 - Journal of Symbolic Logic 6 (3):100-102.
- The Paradox of Kleene and Rosser.Haskell B. Curry - 1946 - Journal of Symbolic Logic 11 (4):136-137.
- On definitions in formal systems.Haskell B. Curry - 1958 - Logique Et Analyse 1 (3-4):105-114.
- Mathematics, syntactics and logic.Haskell B. Curry - 1953 - Mind 62 (246):172-183.
- The System LD.Haskell B. Curry - 1953 - Journal of Symbolic Logic 18 (3):266-268.
- On a polynomial representation of λβ normal forms.Haskell B. Curry - 1978 - In Kuno Lorenz (ed.), Konstruktionen Versus Positionen: Beiträge Zur Diskussion Um Die Konstruktive Wissenschaftstheorie. Bd 1: Spezielle Wissenschaftstheorie. Bd 2: Allgemeine Wissenschaftstheorie. Paul Lorenzen Zum 60. Geburtstag. De Gruyter. pp. 94-98.No categories
- Philosophische Bemerkungen zu einigen problemen der mathematischen Logik.Haskell B. Curry - 1951 - Archiv für Philosophie 4 (2):147.No categoriesExport citation
Bookmark - Two examples of algorithms.Haskell B. Curry - 1964 - Archive for Mathematical Logic 7 (1-2):29-44.No categories
- The inferential approach to logical calculus, I.Haskell B. Curry - 1960 - Logique Et Analyse 3 (11):119.Export citation Bookmark
- The Undecidability of λK-Conversion.Haskell B. Curry - 1975 - Journal of Symbolic Logic 40 (2):246-246.
- Recursive Objects in all Finite Types.A. Grzegorczyk & Haskell B. Curry - 1974 - Journal of Symbolic Logic 39 (2):343-343.Export citation Bookmark
- Roger Hindley. Axioms for strong reduction in combinatory logic. The journal of symbolic logic, vol. 32 , pp. 224–236. - Bruce Lercher. The decidability of Hindley's axioms for strong reduction. The journal of symbolic logic, vol. 32 , pp. 237–239. [REVIEW]Haskell B. Curry - 1971 - Journal of Symbolic Logic 36 (1):171-172.
- Review: Alonzo Church, The Weak Theory of Implication. [REVIEW]Haskell B. Curry & William Craig - 1953 - Journal of Symbolic Logic 18 (2):177-178.
- Church Alonzo. The weak theory of implication. Kontrolliertes Denken, Untersuchungen zum Logikkalkül unci zur Logik der Einzelwissenschaften, rotaprint, Kommissions-Verlag Karl Alber, Munich 1951, pp. 22–37. [REVIEW]Haskell B. Curry & William Craig - 1953 - Journal of Symbolic Logic 18 (2):177-178.
- Consistency and completeness of the theory of combinators.Haskell B. Curry - 1941 - Journal of Symbolic Logic 6 (2):54-61.
- Addendum to early history of the association for symbolic logic.C. J. Ducasse & Haskell B. Curry - 1963 - Journal of Symbolic Logic 28 (4):279.
- Basic Verifiability in the Combinatory Theory of Restricted Generality.Haskell B. Curry, Y. Bar-Hillel, E. I. J. Poznanski, M. O. Rabin & A. Robinson - 1970 - Journal of Symbolic Logic 35 (3):469-470.
- Bernays Paul. Logical calculus. Notes on lectures at the Institute for Advanced Study 1935–36, prepared with the assistance of F. A. Ficken. Mimeographed. Institute for Advanced Study, Princeton, N. J., 1936, 125 pp. [REVIEW]Haskell B. Curry - 1938 - Journal of Symbolic Logic 3 (4):162-163.
- On Definitions in Formal Systems.Haskell B. Curry - 1960 - Journal of Symbolic Logic 25 (1):89-90.
- The Deduction Theorem in the Combinatory Theory of Restricted Generality.Haskell B. Curry - 1970 - Journal of Symbolic Logic 35 (3):468-469.
- Hindley Roger. Axioms for strong reduction in combinatory logic.Haskell B. Curry - 1971 - Journal of Symbolic Logic 36 (1):171-172.
- A Theory of Formal Deducibility Vol. 6.Haskell B. Curry - 1966 - University of Notre Dame.
- Logic as Mathematical Science.Haskell B. Curry - 1963 - Annals of the Japan Association for Philosophy of Science 2 (3):131-143.
- Review: Paul Bernays, Logical Calculus. [REVIEW]Haskell B. Curry - 1938 - Journal of Symbolic Logic 3 (4):162-163.
- The undecidability of λK-conversion.Haskell B. Curry - 1969 - Journal of Symbolic Logic 40 (2):10--14.No categories
- The permutability of rules in the classical inferential calculus.Haskell B. Curry - 1952 - Journal of Symbolic Logic 17 (4):245-248.
- The consistency of a system of combinatory restricted generality.Haskell B. Curry - 1973 - Journal of Symbolic Logic 38 (3):489-492.
| 1 — 50 / 60 |
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-75b4f85656-frhcp N