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