New posts in Intuitionistic Logic

Converse of $(A\rightarrow B)\rightarrow((B\rightarrow C)\rightarrow(A\rightarrow C))$

Does double negation distribute over implication intuitionistically?

Propositional truncation $||$-$||$ and double negation $\neg\neg$

Propositional calculus and intuitionist logic

Prove the undecidability of a formula

Are the two Or-Elims equivalent?

Intuitionistic logic plus $A → B \lor C \vdash ( A → B ) \lor ( A → C )$

Law of Excluded Middle Controversy

Does the law of the excluded middle imply the existence of "intangibles"?

Does double negation distribute over disjunction intuitionistically?