Login / Signup

Analytic Cut and interpolation for bi-intuitionistic Logic.

Tomasz KowalskiHiroakira Ono
Published in: Rev. Symb. Log. (2017)
Keyphrases
  • intuitionistic logic
  • linear logic
  • classical logic
  • natural deduction
  • proof theoretic
  • normal form
  • cut elimination
  • databases
  • model checker
  • database systems
  • model checking
  • partial order
  • modal logic