Linker, Sven ORCID: 0000-0003-2913-7943
(2020)
Intuitionistic Euler-Venn Diagrams (extended).
[Internet Publication]
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 |