Zobrazeno 1 - 10
of 70
pro vyhledávání: '"Haskell B. Curry"'
Autor:
Wilhelm Ackermann, Evert W. Beth, Haskell B. Curry, Gi sbert Hasenjaeger, John G. Kemeny, Stephen C. Kleene, John C. C. McKinsey, Ernest Nagel
Publikováno v:
The Logical Writings of Karl Popper ISBN: 9783030949259
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::2434ab4282eb54575f3362ee665c81c6
https://doi.org/10.1007/978-3-030-94926-6_13
https://doi.org/10.1007/978-3-030-94926-6_13
Autor:
Haskell B. Curry
Publikováno v:
Critical Approaches to Science & Philosophy with a new introduction ISBN: 9781351313087
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::deb873291c07fd64a959359d7b78fce2
https://doi.org/10.4324/9781351313087-9
https://doi.org/10.4324/9781351313087-9
Autor:
Haskell B. Curry
Publisher Summary The term inferential deduction is used to describe deduction based on inferential rules of G. Gentzen type. This chapter discusses three loosely connected topics. M. Anderson and H. Johnstone presented the Gentzen natural rules in a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::43b6afd15dbb5cd5572ae520c5b215a1
https://doi.org/10.1016/b978-1-4832-3159-4.50008-3
https://doi.org/10.1016/b978-1-4832-3159-4.50008-3
Autor:
Haskell B. Curry
This book is a thoroughly documented and comprehensive account of the constructive theory of the first-order predicate calculus. This is a calculus that is central to modern mathematical logic and important for mathematicians, philosophers, and scien
Autor:
Jonathan P. Seldin, Haskell B. Curry
Publikováno v:
Universal Logic: An Anthology ISBN: 9783034601443
Universal Logic: An Anthology
Universal Logic: An Anthology
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::59a57df038fd0ebb2fc5287fd9c663db
https://doi.org/10.1007/978-3-0346-0145-0_12
https://doi.org/10.1007/978-3-0346-0145-0_12
Autor:
Haskell B. Curry
Publikováno v:
Journal of Symbolic Logic. 38:489-492
The system , proposed without a claim as to its consistency in [CLg, §15C], has turned out to entail a consequence which is extremely suspicious. For from the axiom ⊦LH it follows thatholds for arbitrary X; hence for X ≡ YH, where Y is a fixed-p
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::7fd826b389708fa2e477679c426c4262
https://doi.org/10.2307/2273047
https://doi.org/10.2307/2273047
Autor:
Haskell B. Curry
Publikováno v:
Archiv für Mathematische Logik und Grundlagenforschung. 7:29-44
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6d12b4e6bc8c52b4c9d6fb6e357c1e77
https://doi.org/10.1007/bf01972459
https://doi.org/10.1007/bf01972459
Autor:
Haskell B. Curry
Publikováno v:
Bulletin of the American Mathematical Society. 48:507-511
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::aa284b115fd55d1cc90b7ec6387defd5
https://doi.org/10.1090/s0002-9904-1942-07698-1
https://doi.org/10.1090/s0002-9904-1942-07698-1
Autor:
Haskell B. Curry
Publikováno v:
Bulletin of the American Mathematical Society. 59:263-268
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f43a01abc355d2bec61a57e89af30b26
https://doi.org/10.1090/s0002-9904-1953-09701-4
https://doi.org/10.1090/s0002-9904-1953-09701-4