Universal Proof Theory: Constructive Rules and Feasible Admissibility.

Amirhossein Akbar Tabatabai Raheleh Jalali

Published in: CoRR (2022)

Keyphrases

proof theory
proof theoretic
default reasoning
automated reasoning
cut elimination
artificial intelligence
attribute values
parallel processing
production rules
reasoning problems