Sequent Calculus for Euler Diagrams

Sven Linker

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

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.
Original languageEnglish
Title of host publication10th International Conference on the Theory and Application of Diagrams
Pages399-407
Number of pages8
DOIs
Publication statusPublished - 18 Jul 2018

Fingerprint

Dive into the research topics of 'Sequent Calculus for Euler Diagrams'. Together they form a unique fingerprint.

Cite this