Sequent Calculus for Euler Diagrams

Linker, Sven ORCID: 0000-0003-2913-7943 (2018) Sequent Calculus for Euler Diagrams. In: 10th International Conference on the Theory and Application of Diagrams, 2018-6-18 - 2018-6-22, Edinburgh.

Text euler-sequent.pdf - Author Accepted Manuscript Download (310kB)

Abstract

Proof systems play a major role in the formal study of diagrammatic logical systems. Typically, the style of inference is not directly comparable to traditional sentential systems, to study the diagrammatic aspects of inference. In this work, we present a proof system for Euler diagrams with shading in the style of sequent calculus. We prove it to be sound and complete. Furthermore we outline how this system can be extended to incorporate heterogeneous logical descriptions. Finally, we explain how small changes allow for reasoning with intuitionistic logic.

Item Type:	Conference or Workshop Item (Unspecified)
Uncontrolled Keywords:	Euler diagrams, Proof systems, Heterogeneous reasoning
Depositing User:	Symplectic Admin
Date Deposited:	08 May 2018 08:41
Last Modified:	19 Jan 2023 06:34
DOI:	10.1007/978-3-319-91376-6_37
Related URLs:	Author Publisher
URI:	https://livrepository.liverpool.ac.uk/id/eprint/3021030