complete inference system

from The Free On-line Dictionary of Computing (8 July 2008)
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)
antiflux / dictionary / complete inference system
[email protected]