Revision #2486 → #3663 · back to history
addedHeyting algebra5760952b2909
addedBoolean algebra as special case of Heyting algebra5d9c352a26a4
addedDe Morgan's law (classical, disjunction from negation)c27790478eb1
addedExcluded middle implies double-negation elimination (per proposition)81ead7f22e67
addedIntuitionistic propositional calculus compatible with classical logicf99fb7ebf0b0
addedIndependence of premise principle (IP)9c6900ff4ca2