Intuitionistic Euler-Venn Diagrams (extended)

02/07/2020
by   Sven Linker, et al.
0

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.

READ FULL TEXT

Please sign up or login with your details

Forgot password? Click here to reset