Universal Proof Theory: Semi-analytic Rules and Craig Interpolation.

Amirhossein Akbar Tabatabai Raheleh Jalali

Published in: CoRR (2018)

Keyphrases

proof theory
proof theoretic
default reasoning
automated reasoning
reasoning problems
cut elimination