classical axiom

A classical axiom is an axiom that, when added to intuitionistic logic, yields classical logic.

The following are all classical axioms (see (Zena M. Ariola and Hugo Herbelin, 2003)):

• weak Pierce's law
• excluded middle
• Pierce's law
• generalized excluded middle