Sequent Calculus for Euler Diagrams

Linker, Sven (2018) Sequent Calculus for Euler Diagrams. In: Diagrammatic Representation and Inference : 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings. Lecture Notes in Computer Science . Springer, Cham, pp. 399-407. ISBN 9783319913759

Full text not available from this repository.


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:
Contribution in Book/Report/Proceedings
ID Code:
Deposited By:
Deposited On:
17 Jun 2021 14:10
Last Modified:
28 Nov 2023 10:39