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.
| < Previous Terms | Terms Containing complete inference system | Next Terms > |
| complement Complementary Metal Oxide Semiconductor complementary nondeterministic polynomial complete complete graph | complete | complete lattice complete metric space completeness complete partial ordering complete theory |
