Login / Signup
A lower bound for intuitionistic logic.
Pavel Hrubes
Published in:
Ann. Pure Appl. Log. (2007)
Keyphrases
</>
intuitionistic logic
lower bound
upper bound
classical logic
linear logic
branch and bound
objective function
np hard
natural deduction
optimal solution
database systems
normal form
proof theoretic
inference rules
probabilistic reasoning