Category:Proof Rules

This category is to hold theorems of mathematical logic which are used as proof rules in conventional approaches to natural deduction.