Weak Excluded Middle in Intuitionistic Logic
The weak excluded middle asserts that for any proposition P, either P…
Weak Counterexample in Intuitionistic Logic
A weak counterexample in intuitionistic logic signifies a lack of positive evidence…
Strong Counterexample in Intuitionistic Logic
A strong counterexample in intuitionistic logic disproves an instance of the law…
Markov’s Principle
Markov's Principle, a cornerstone of constructive mathematics, asserts that if a property…
Intuitionistic Mathematics
Mathematics built on intuitionistic logic, prioritizing constructive proofs and avoiding non-constructive axioms…
Glivenko’s Theorem
Glivenko's theorem in logic connects classical and intuitionistic systems. It states that…
Finitary Arithmetic
Finitary arithmetic is a mathematical approach that emphasizes constructive methods, avoiding infinite…
Constructive Mathematics
Constructive mathematics emphasizes mathematical objects that are provably constructible and computable. It…
Brouwerian Modal Logic
A modal logic inspired by L.E.J. Brouwer's intuitionism. It grounds possibility in…