Definition
Derivation
A derivation in a calculus
is a finite construction from axiom instances and assumptions using its inference rules. It derives
from when its conclusion is and every undischarged assumption belongs to .
Derivation
A derivation in a calculus
is a finite construction from axiom instances and assumptions using its inference rules. It derives
from when its conclusion is and every undischarged assumption belongs to .