  We present an intuitionistic interpretation of Euler-Venn diagrams with
respect to Heyting algebras. In contrast to classical Euler-Venn diagrams, we
treat shaded and missing zones differently, to have diagrammatic
representations of conjunction, disjunction and intuitionistic implication. We
present a cut-free sequent calculus for this language, and prove it to be sound
and complete. Furthermore, we show that the rules of cut, weakening and
contraction are admissible.
