General Proof Theory: Introduction.

Thomas Piecha Peter Schroeder-Heister

Published in: Stud Logica (2019)

Keyphrases

proof theory
special case
default reasoning
decision making
bayesian networks
probability distribution