proof theory

(redirected from Proof (logic))
Also found in: Encyclopedia.

proof theory

n
(Logic) the branch of logic that studies the syntactic properties of formal theories, esp the syntactic characterization of deductive validity
Mentioned in ?