A Theory of Formal Deducibility

Journal of Symbolic Logic 16 (1):56-58 (1951)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2268674

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,881

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

A Theory of Formal Deducibility Vol. 6.Haskell B. Curry - 1966 - University of Notre Dame.
Review: Haskell B. Curry, A Theory of Formal Deducibility. [REVIEW]Ann S. Ferebee - 1969 - Journal of Symbolic Logic 34 (1):113-113.
Review: Haskell B. Curry, A Theory of Formal Deducibility. [REVIEW]Wilhelm Ackermann - 1951 - Journal of Symbolic Logic 16 (1):56-58.
A constructive semantics for non-deducibility.Francesco Ciraulo - 2008 - Mathematical Logic Quarterly 54 (1):35-48.
A Theory of Formal Deducibility.Haskell Brooks Curry - 1966 - Notre Dame, IN, USA: [University of Notre Dame Press].
Curry Haskell B.. A theory of formal deducibility. Second edition of XVI 56. Notre Dame mathematical lectures, no. 6. Lithoprinted. University of Notre Dame, Notre Dame, Indiana, 1957, xi + 129 pp. [REVIEW]Ann S. Ferebee - 1969 - Journal of Symbolic Logic 34 (1):113-113.
Curry Haskell B.. A theory of formal deducibility. Notre Dame mathematical lectures, no. 6. Lithoprinted. University of Notre Dame, Notre Dame, Indiana, 1950, ix + 126 Seiten. [REVIEW]Wilhelm Ackermann - 1951 - Journal of Symbolic Logic 16 (1):56-58.
Are Uniqueness and Deducibility of Identicals the Same?Alberto Naibo & Mattia Petrolo - 2014 - Theoria 81 (2):143-181.
Recursion theory and formal deducibility.E. M. Kleinberg - 1970 - Journal of Symbolic Logic 35 (4):556-558.
Bolzano's Theory of Ground and Consequence.Armin Tatzel - 2002 - Notre Dame Journal of Formal Logic 43 (1):1-25.
Emergence.David Yates - 2013 - In Hal Pashler (ed.), Encyclopaedia of the Mind. SAGE Reference. pp. 283-7.
Contractions of Closure Systems.Stephen Pollard & Norman M. Martin - 1994 - Notre Dame Journal of Formal Logic 35 (1):108-115.
Proof theory and meaning: The context of deducibility.Greg Restall - 2010 - In F. Delon, U. Kohlenbach, P. Maddy & F. Stephan (eds.), Logic Colloquium 2007. Cambridge: Cambridge University Press. pp. 204-219.
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.
Popper's Notion of Duality and His Theory of Negations.David Binder & Thomas Piecha - 2017 - History and Philosophy of Logic 38 (2):154-189.

Analytics

Added to PP
2017-02-21

Downloads
44 (#361,254)

6 months
9 (#308,642)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

A completeness theorem in modal logic.Saul Kripke - 1959 - Journal of Symbolic Logic 24 (1):1-14.
Substructural Logics: A Primer.Francesco Paoli - 2002 - Dordrecht, Netherland: Springer.
The Different Ways in which Logic is (said to be) Formal.Catarina Dutilh Novaes - 2011 - History and Philosophy of Logic 32 (4):303 - 332.
What is strict implication?Ian Hacking - 1963 - Journal of Symbolic Logic 28 (1):51-71.

View all 20 citations / Add more citations

References found in this work

No references found.

Add more references