Definition
Sound Calculus
A calculus
is sound (Korrektheit) if derivability implies entailment: for every set of formulas and every formula , Every permitted derivation must therefore establish a semantic consequence. The converse property is completeness.