A Proof Theory for the Logic of Provability in True Arithmetic.

Hirohiko Kushida

Published in: Stud Logica (2020)

Keyphrases

proof theory
default reasoning
proof theoretic
automated reasoning
reasoning problems
nonmonotonic reasoning
artificial intelligence
multi agent
logical equivalence
multi attribute
decision procedures