Login / Signup

Studying provability in implicational intuitionistic logic the formula tree approach.

Sabine BrodaLuís Damas
Published in: Electron. Notes Theor. Comput. Sci. (2002)
Keyphrases
  • intuitionistic logic
  • classical logic
  • linear logic
  • proof theoretic
  • natural deduction
  • expert systems
  • programming language
  • logic programming
  • incomplete information