Markov’s Principle
Markov's Principle, a cornerstone of constructive mathematics, asserts that if a property…
Brouwerian Modal Logic
A modal logic inspired by L.E.J. Brouwer's intuitionism. It grounds possibility in…
Tag: intuitionism
Markov's Principle, a cornerstone of constructive mathematics, asserts that if a property…
A modal logic inspired by L.E.J. Brouwer's intuitionism. It grounds possibility in…