Login / Signup
A super-polynomial separation between resolution and cut-free sequent calculus.
Theodoros Papamakarios
Published in:
Electron. Colloquium Comput. Complex. (2021)
Keyphrases
</>
sequent calculus
cut elimination
inference rules
linear logic
modal logic
natural deduction
high resolution
linear time temporal logic
sufficient conditions
markov random field