proof theory

World English Dictionary
proof theory
 
n
the branch of logic that studies the syntactic properties of formal theories, esp the syntactic characterization of deductive validity

Collins English Dictionary - Complete & Unabridged 10th Edition
2009 © William Collins Sons & Co. Ltd. 1979, 1986 © HarperCollins
Publishers 1998, 2000, 2003, 2005, 2006, 2007, 2009
Cite This Source
FOLDOC
Computing Dictionary

proof theory definition

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
00:10
Proof theory is always a great word to know.
So is ort. Does it mean:
a chattering or flighty, light-headed person.
a scrap or morsel of food left at a meal.
Copyright © 2013 Dictionary.com, LLC. All rights reserved.
  • Please Login or Sign Up to use the Recent Searches feature
FAVORITES
RECENT