Chapter IV: Negation
Haskell B. Curry
Source: Haskell B. Curry, A Theory of Formal Deducibility, (Notre Dame, Ind.: University of Notre Dame, 1966) , 90-111.
Abstract
Contents
- A. Preliminary Analysis
- B. An Example from Number Theory
- C. Formulation of the Rules
- D. Fundamental Theorems
- E. The Natural Systems T
- F. The Propositional Algebras
- G. Concluding Remarks
First Page:
Show
Hide
Full-text: Open access
Links and Identifiers
Permanent link to this document: http://projecteuclid.org/euclid.ndml/1175197302
