Definition
Complete Calculus
A calculus
is complete (Vollständigkeit) if entailment implies derivability: for every set of formulas and every formula , Every semantic consequence must therefore have a derivation. The converse property is soundness.
Complete Calculus
A calculus
is complete (Vollständigkeit) if entailment implies derivability: for every set of formulas and every formula , Every semantic consequence must therefore have a derivation. The converse property is soundness.