The DICT Development Group

Search for:
Search type:

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.

Contact=webmaster@dict.org Specification=RFC 2229