Sound rule

(Redirected from Permissible law (inference))

A (logical) theory is sound if everything provable in it is true, cf. [a2], [a3] for a discussion of the concept of a sound theory and related mathematical principles such as consistency, $\omega$-consistency, completeness and reflection principles.