• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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