Category:Axioms/Natural Deduction

For a full definition of Natural Deduction and the Natural Deduction Axioms, see this page.

These relate to the category of propositional logic.