Category:Definitions/Independent Rules of Inference

This category contains definitions related to Independent Rules of Inference.
Related results can be found in Category:Independent Rules of Inference.

Let $\LL$ be a formal language.

Let $\mathscr P$ be a proof system for $\LL$.

Let $\RR$ be a rule of inference for $\mathscr P$.

Then $\RR$ is independent if and only if $\RR$ cannot be derived from the axioms and other rules of inference for $\mathscr P$.