Intuitionistic Euler-Venn Diagrams (extended)
Logic in Computer Science
2020-02-10 v1
Abstract
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.
Cite
@article{arxiv.2002.02929,
title = {Intuitionistic Euler-Venn Diagrams (extended)},
author = {Sven Linker},
journal= {arXiv preprint arXiv:2002.02929},
year = {2020}
}