Login / Signup

Intuitionistic logic and implicit definability.

Larisa Maksimova
Published in: Ann. Pure Appl. Log. (2000)
Keyphrases
  • intuitionistic logic
  • classical logic
  • linear logic
  • fixed point
  • natural deduction
  • propositional logic
  • proof theoretic
  • general purpose
  • normal form