mastodon - Link to source

RanaldClouston

1 year ago

RanaldClouston
1 year ago

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 (1 year ago)

⇧