Login / Signup

Classical and Intuitionistic Logic Are Asymptotically Identical.

Hervé FournierDanièle GardyAntoine GenitriniMarek Zaionc
Published in: CSL (2007)
Keyphrases
  • intuitionistic logic
  • classical logic
  • linear logic
  • natural deduction
  • database
  • general purpose