Login / Signup

Combining Derivations and Refutations for Cut-free Completeness in Bi-intuitionistic Logic.

Rajeev GoréLinda Postniece
Published in: J. Log. Comput. (2010)
Keyphrases
  • intuitionistic logic
  • natural deduction
  • linear logic
  • inference rules
  • classical logic
  • theorem prover
  • database
  • proof search