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

Amirhossein Akbar Tabatabai Raheleh Jalali

Published in: CoRR (2018)

Keyphrases

proof theory
proof theoretic
default reasoning
automated reasoning
cut elimination
machine learning
computational complexity
expert systems
graphical models
decision makers
attribute values