Category:Definitions/Independent Rules of Inference
Jump to navigation
Jump to search
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$.
Pages in category "Definitions/Independent Rules of Inference"
This category contains only the following page.