60 found
Order:
Disambiguations
Haskell B. Curry [56]Haskell Brooks Curry [6]
  1. 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.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   101 citations  
  2.  89
    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. ...
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   78 citations  
  3.  26
    Combinatory Logic.Haskell B. Curry, J. Roger Hindley & Jonathan P. Seldin - 1977 - Journal of Symbolic Logic 42 (1):109-110.
    Direct download  
     
    Export citation  
     
    Bookmark   59 citations  
  4.  49
    Outlines of a formalist philosophy of mathematics.Haskell Brooks Curry - 1951 - Amsterdam,: North-Holland Pub. Co..
  5.  83
    The inconsistency of certain formal logic.Haskell B. Curry - 1942 - Journal of Symbolic Logic 7 (3):115-117.
  6.  54
    The Inconsistency of Certain Formal Logics.Alonzo Church & Haskell B. Curry - 1942 - Journal of Symbolic Logic 7 (4):170.
  7. Combinatory Logic, Volume I.Haskell B. Curry, Robert Feys & William Craig - 1959 - Philosophical Review 68 (4):548-550.
  8.  39
    A Theory of Formal Deducibility.Haskell B. Curry - 1951 - Journal of Symbolic Logic 16 (1):56-58.
    Direct download  
     
    Export citation  
     
    Bookmark   22 citations  
  9. Outlines of a Formalist Philosophy of Mathematics.Haskell B. Curry & Abraham Robinson - 1952 - British Journal for the Philosophy of Science 3 (10):197-200.
     
    Export citation  
     
    Bookmark   16 citations  
  10.  35
    Some Logical Aspects of Grammatical Structure.Haskell B. Curry - 1960 - Journal of Symbolic Logic 25 (4):341-341.
    Direct download  
     
    Export citation  
     
    Bookmark   16 citations  
  11.  29
    Combinatory Logic Vol. 1.Haskell Brooks Curry & Robert M. Feys - 1958 - Amsterdam, Netherlands: North-Holland Publishing Company.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   9 citations  
  12.  67
    The elimination theorem when modality is present.Haskell B. Curry - 1952 - Journal of Symbolic Logic 17 (4):249-265.
  13.  73
    The combinatory foundations of mathematical logic.Haskell B. Curry - 1942 - Journal of Symbolic Logic 7 (2):49-64.
  14. The system LD.Haskell B. Curry - 1952 - Journal of Symbolic Logic 17 (1):35-42.
  15.  51
    Language, metalanguage, and formal system.Haskell B. Curry - 1950 - Philosophical Review 59 (3):346-353.
    No categories
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  16.  17
    Modified basic functionality in combinatory logic.Haskell B. Curry - 1969 - Dialectica 23 (2):83-92.
  17.  29
    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
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  18. On the definition of negation by a fixed proposition in inferential calculus.Haskell B. Curry - 1952 - Journal of Symbolic Logic 17 (2):98-104.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  19.  19
    Leçons de logique algébrique.Haskell B. Curry - 1952 - Paris,: Gauthier-Villars.
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  20. Leçons de Logique Algébrique.Haskell B. Curry - 1952 - British Journal for the Philosophy of Science 3 (11):293-294.
     
    Export citation  
     
    Bookmark   4 citations  
  21.  6
    Some Aspects of the problem of Mathematical Rigor.Haskell B. Curry - 1941 - Journal of Symbolic Logic 6 (3):100-102.
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  22.  11
    The Combinatory Foundations of Mathematical Logic.Haskell B. Curry - 1943 - Journal of Symbolic Logic 8 (1):31-31.
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  23.  21
    Early history of the association for symbolic logic.C. J. Ducasse & Haskell B. Curry - 1962 - Journal of Symbolic Logic 27 (3):255-258.
  24.  43
    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.
  25.  14
    On definitions in formal systems.Haskell B. Curry - 1958 - Logique Et Analyse 1 (3-4):105-114.
  26.  14
    The Paradox of Kleene and Rosser.Haskell B. Curry - 1946 - Journal of Symbolic Logic 11 (4):136-137.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  27.  6
    The System LD.Haskell B. Curry - 1953 - Journal of Symbolic Logic 18 (3):266-268.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  28.  75
    Mathematics, syntactics and logic.Haskell B. Curry - 1953 - Mind 62 (246):172-183.
  29.  3
    On Definitions in Formal Systems.Haskell B. Curry - 1960 - Journal of Symbolic Logic 25 (1):89-90.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  30. Consistency and completeness of the theory of combinators.Haskell B. Curry - 1941 - Journal of Symbolic Logic 6 (2):54-61.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  31.  19
    A revision of the fundamental rules of combinatory logic.Haskell B. Curry - 1941 - Journal of Symbolic Logic 6 (2):41-53.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  32.  3
    A Revision of the Fundamental Rules of Combinatory Logic.Haskell B. Curry - 1941 - Journal of Symbolic Logic 6 (4):170-170.
    Direct download  
     
    Export citation  
     
    Bookmark  
  33.  20
    A Simplification of the Theory of Combinators.Haskell B. Curry - 1948 - Synthese 7 (6-A):391 - 399.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  34. A Theory of Formal Deducibility Vol. 6.Haskell B. Curry - 1966 - University of Notre Dame.
  35.  15
    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.
    Direct download  
     
    Export citation  
     
    Bookmark  
  36.  10
    Calculuses and formal systems.Haskell B. Curry - 1958 - Dialectica 12 (3‐4):249-273.
    Lorenzen, in his book Einführung in die operative Logik und Mathematik has given a relatively precise form of syntactical system which he calls a calculus. The present paper deals with the relationship of Lorenzen's notion of calculus with the notion of formal system . It is shown that the obs of a formal system can be represented as the theses of a calculus of a certain type just when the calculus has a property called the tectonic property, and conditions are (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  37.  6
    Hindley Roger. Axioms for strong reduction in combinatory logic.Haskell B. Curry - 1971 - Journal of Symbolic Logic 36 (1):171-172.
  38.  9
    Logic as Mathematical Science.Haskell B. Curry - 1963 - Annals of the Japan Association for Philosophy of Science 2 (3):131-143.
  39.  1
    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
    Direct download  
     
    Export citation  
     
    Bookmark  
  40. Philosophische Bemerkungen zu einigen problemen der mathematischen Logik.Haskell B. Curry - 1951 - Archiv für Philosophie 4 (2):147.
    No categories
     
    Export citation  
     
    Bookmark  
  41.  3
    Some Advances in the Combinatory Theory of Quantification.Haskell B. Curry - 1943 - Journal of Symbolic Logic 8 (1):52-52.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  42.  12
    Theory and experience.Haskell B. Curry - 1953 - Dialectica 7 (2):176-178.
  43.  32
    The consistency of a system of combinatory restricted generality.Haskell B. Curry - 1973 - Journal of Symbolic Logic 38 (3):489-492.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  44.  7
    The Deduction Theorem in the Combinatory Theory of Restricted Generality.Haskell B. Curry - 1970 - Journal of Symbolic Logic 35 (3):468-469.
    Direct download  
     
    Export citation  
     
    Bookmark  
  45.  2
    Two examples of algorithms.Haskell B. Curry - 1964 - Archive for Mathematical Logic 7 (1-2):29-44.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  46. The inferential approach to logical calculus, I.Haskell B. Curry - 1960 - Logique Et Analyse 3 (11):119.
     
    Export citation  
     
    Bookmark  
  47.  30
    The Interpretation of Formalized Implication.Haskell B. Curry - 1959 - Theoria 25 (1):1-26.
  48.  34
    The permutability of rules in the classical inferential calculus.Haskell B. Curry - 1952 - Journal of Symbolic Logic 17 (4):245-248.
  49.  2
    The Permutability of Rules in the Classical Inferential Calculus.Haskell B. Curry - 1955 - Journal of Symbolic Logic 20 (1):66-67.
    Direct download  
     
    Export citation  
     
    Bookmark  
  50.  4
    The undecidability of λK-conversion.Haskell B. Curry - 1969 - Journal of Symbolic Logic 40 (2):10--14.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 60