Intuitionistic Euler-Venn Diagrams (extended)

Linker, Sven (2020) Intuitionistic Euler-Venn Diagrams (extended) [Website Content]

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:	Website Content
Uncontrolled Keywords:	cs.LO, cs.LO
Depositing User:	Symplectic Admin
Date Deposited:	19 Nov 2020 08:31
Last Modified:	21 Apr 2026 20:42
Related Websites:	Author
URI:	https://livrepository.liverpool.ac.uk/id/eprint/3086919
Disclaimer:	The University of Liverpool is not responsible for content contained on other websites from links within repository metadata. Please contact us if you notice anything that appears incorrect or inappropriate.