Login / Signup

The complexity of disjunction in intuitionistic logic.

R. RamanujamVaishnavi SundararajanS. P. Suresh
Published in: J. Log. Comput. (2020)
Keyphrases
  • intuitionistic logic
  • classical logic
  • linear logic
  • relational databases
  • general purpose
  • natural deduction