Login / Signup

Hypersequent calculi for intuitionistic logic with classical atoms.

Hidenori Kurokawa
Published in: Ann. Pure Appl. Log. (2009)
Keyphrases
  • intuitionistic logic
  • linear logic
  • classical logic
  • natural deduction
  • logic programs
  • normal form
  • logic programming