Notre Dame Mathematical Lectures

Chapter IV: Negation

Full-text: Open access

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

Chapter information

Source
Haskell B. Curry, A Theory of Formal Deducibility, (Notre Dame, Ind.: University of Notre Dame, 1966), 90-111

Dates
First available in Project Euclid: 29 March 2007

Permanent link to this document
https://projecteuclid.org/euclid.ndml/1175197302

Rights
Copyright © 1966, University of Notre Dame

Citation

Curry, Haskell B. Chapter IV: Negation. A Theory of Formal Deducibility, 90--111, University of Notre Dame, Notre Dame, Indiana, 1966. https://projecteuclid.org/euclid.ndml/1175197302


Export citation