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

00:10

00:09

00:08

00:07

00:06

00:05

00:04

00:03

00:02

00:01

Proof theory is always a great word to know.
So is zedonk. Does it mean:
a chattering or flighty, light-headed person.
the offspring of a zebra and a donkey.
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
Dictionary.com, LLC. Copyright © 2012. All rights reserved.
  • Please Login or Sign Up to use the Recent Searches feature
FAVORITES
RECENT