follow Dictionary.com

8 Wintry Words to Defrost Your Vocabulary

proof theory

noun
1.
the branch of logic that studies the syntactic properties of formal theories, esp the syntactic characterization of deductive validity
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
Cite This Source
proof theory in Technology

logic
The branch of logic describing procedures for combining logical statements to show, by a series of truth-preserving transformations, that one statement is a consequence of some other statement or group of statements.
(1994-10-31)

The Free On-line Dictionary of Computing, © Denis Howe 2010 http://foldoc.org
Cite This Source

Word of the Day

Word Value for proof

10
11
Scrabble Words With Friends

Quotes with proof theory