Intuitionistic Euler-Venn Diagrams (extended)


Linker, Sven ORCID: 0000-0003-2913-7943 (2020) Intuitionistic Euler-Venn Diagrams (extended). [Internet Publication]

[thumbnail of 2002.02929v1.pdf] Text
2002.02929v1.pdf - Submitted version
Download (289kB) | Preview

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.

Item Type: Internet Publication
Uncontrolled Keywords: cs.LO, cs.LO
Depositing User: Symplectic Admin
Date Deposited: 19 Nov 2020 08:31
Last Modified: 18 Jan 2023 23:52
Related URLs:
URI: https://livrepository.liverpool.ac.uk/id/eprint/3086919
Share
CORE (COnnecting REpositories)