From proof theory to theories theory.

Published in: CoRR (2023)

Keyphrases

proof theory
default reasoning
proof theoretic
theoretical framework
automated reasoning
multi agent
reasoning problems
computational complexity
special case
logic programming
model theoretic