Login / Signup

On not strengthening intuitionistic logic.

Nuel D. Belnap Jr.Hugues LeblancRichmond H. Thomason
Published in: Notre Dame J. Formal Log. (1963)
Keyphrases
  • intuitionistic logic
  • classical logic
  • linear logic
  • natural deduction
  • normal form
  • proof theoretic
  • artificial intelligence
  • logic programming
  • model checker