Intuitionistic Euler-Venn Diagrams (extended)

Sven Linker

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…