A Theory of Formal Deducibility Vol. 6

University of Notre Dame (1966)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,323

External links

  • This entry has no external links. Add one.
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

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.
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.
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.
Bolzano's deducibility and tarski's logical consequence.Paul B. Thompson - 1981 - History and Philosophy of Logic 2 (1-2):11-20.
Deducing the mind.Andrew Gleeson - 1999 - Inquiry: An Interdisciplinary Journal of Philosophy 42 (3-4):385-410.

Analytics

Added to PP
2016-09-21

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

No references found.

Add more references