Linked from

The 3 pages that link to Peirce's law, each with the reason it gives.

• Modus ponensRelated: Classical derivations involving this principle can use modus ponens to apply nested conditionals.

• Consequentia mirabilisRelated: It is another characteristic classical principle whose intuitionistic failure helps locate consequentia mirabilis.