Login / Signup

On the Mints Hierarchy in First-Order Intuitionistic Logic.

Aleksy SchubertPawel UrzyczynKonrad Zdanowski
Published in: FoSSaCS (2015)
Keyphrases
  • intuitionistic logic
  • classical logic
  • linear logic
  • first order logic
  • proof theoretic
  • natural deduction
  • modal logic
  • normal form