complete inference system

1 definition found

complete inference system - Free On-line Dictionary of Computing (26 May 2007) :

  complete inference system
  
     <logic> An inference system A is complete with respect to
     another system B if A can reach every conclusion which is true
     in B.  The dual to completeness is soundness.
  
     (1998-07-05)