dict.org

The DICT Development Group


Search for:
Search type:
Database:

Database copyright information
Server information


1 definition found
 for proof theory
From The Free On-line Dictionary of Computing (30 December 2018) :

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

Contact=webmaster@dict.org Specification=RFC 2229