proof theory

1 definition found

proof theory - Free On-line Dictionary of Computing (26 May 2007) :

  proof theory
  
     <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)