Category:Independent Rules of Inference

This category contains results about Independent Rules of Inference.
Definitions specific to this category can be found in Definitions/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$.