# 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

Want to thank TFD for its existence? Tell a friend about us, add a link to this page, or visit the webmaster's page for free fun content.

Link to this page: