Try Our Apps


Supposedly vs. Supposably

proof theory

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

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.

The Free On-line Dictionary of Computing, © Denis Howe 2010
Cite This Source

Word of the Day

Word Value for proof

Scrabble Words With Friends

Nearby words for proof theory