New posts in Intuitionistic Logic

Difference between proof of negation and proof by contradiction

All real functions are continuous

Is there a decision procedure for intuitionistic propositional logic?