Dictionary.com
definitions
  • synonyms
British Dictionary definitions for proof theory

proof theory

noun
  1. the branch of logic that studies the syntactic properties of formal theories, esp the syntactic characterization of deductive validity
Show More
Collins English Dictionary - Complete & Unabridged 2012 Digital Edition © William Collins Sons & Co. Ltd. 1979, 1986 © HarperCollins Publishers 1998, 2000, 2003, 2005, 2006, 2007, 2009, 2012