Sign in
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