A Super-Polynomial Separation Between Resolution and Cut-Free Sequent Calculus.

Theodoros Papamakarios

Published in: MFCS (2023)

Keyphrases

sequent calculus
cut elimination
inference rules
linear logic
high resolution
modal logic
natural deduction
machine learning
proof search
linear time temporal logic
wide class
expert systems
pairwise
propositional logic