Login / Signup

On the Mints Hierarchy in First-Order Intuitionistic Logic.

Aleksy SchubertPawel UrzyczynKonrad Zdanowski
Published in: Log. Methods Comput. Sci. (2016)
Keyphrases
  • intuitionistic logic
  • classical logic
  • linear logic
  • proof theoretic
  • first order logic
  • normal form
  • natural deduction
  • inference rules
  • expert systems
  • logic programming
  • theorem proving