Category:Proof Rules

From ProofWiki
Jump to navigation Jump to search

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