proof theory

(redirected from Proof theorist)
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
Collins English Dictionary – Complete and Unabridged, 12th Edition 2014 © HarperCollins Publishers 1991, 1994, 1998, 2000, 2003, 2006, 2007, 2009, 2011, 2014
Mentioned in ?