Physics and proof theory.

Bruno Woltzenlogel Paleo

Published in: Appl. Math. Comput. (2012)

Keyphrases

proof theory
default reasoning
proof theoretic
automated reasoning
artificial intelligence
reasoning problems
decision making
belief revision
nonmonotonic reasoning