Skip to main content

This week's #blog post, on a combined classical-intuitionistic #logic from 1996 blogs.fediscience.org/the-upda…
Two axioms: CMP: (A ⇒ B) → A → B PER: A → B ⇒ A if A is persistent Here → is classical implication and ⇒ is intuitionistic implication.

Discussing “Combining Classical and Intuitionistic Logic” – The Updated Scholar

blogs.fediscience.org
#blog #logic
This entry was edited (10 months ago)
⇧