Category:Natural Deduction Axioms

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

These relate to the category of propositional logic.