New posts in Intuitionism

Is there a semantics for intuitionistic logic that is meta-theoretically "self-hosting"?

Henkin-style completeness proofs for intuitionistic logic

Why would the category of sets be intuitionistic?

Why is the notion of algorithm a primitive one in Brouwer's intuitionism?

How strong is Cantor-Bernstein-Schröder?

Models of intuitionistic linear logic that reflect the resource interpretation