Category:Independent Rules of Inference
Jump to navigation
Jump to search
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$.
This category currently contains no pages or media.