proof theory

noun

the branch of logic that studies the syntactic properties of formal theories, esp the syntactic characterization of deductive validity

Nearby words

  1. proof of the pudding,
  2. proof of the pudding, the,
  3. proof sheet,
  4. proof spirit,
  5. proof stress,
  6. proof-of-purchase,
  7. proofing,
  8. proofread,
  9. proofreader,
  10. prootic

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