Intuitionistic Euler-Venn Diagrams

Linker, Sven (2020) Intuitionistic Euler-Venn Diagrams. In: Diagrammatic Representation and Inference : 11th International Conference, Diagrams 2020, Tallinn, Estonia, August 24–28, 2020, Proceedings. Lecture Notes in Computer Science . Springer, Cham, pp. 264-280. ISBN 9783030542481

Full text not available from this repository.

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. Furthermore, we need to add new syntactic elements to express these concepts. 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:
Contribution in Book/Report/Proceedings
Departments:
ID Code:
147774
Deposited By:
Deposited On:
23 Feb 2021 12:24
Refereed?:
Yes
Published?:
Published
Last Modified:
16 Jul 2024 04:58