Standard
Sequent Calculus for Euler Diagrams. /
Linker, Sven.
Diagrammatic Representation and Inference: 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings. ed. / Peter Chapman; Gem Stapleton; Amirouche Moktefi; Sarah Perez-Kriz; Francesco Bellucci. Cham: Springer, 2018. p. 399-407 (Lecture Notes in Computer Science; Vol. 10871).
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Chapter (peer-reviewed) › peer-review
Harvard
Linker, S 2018,
Sequent Calculus for Euler Diagrams. in P Chapman, G Stapleton, A Moktefi, S Perez-Kriz & F Bellucci (eds),
Diagrammatic Representation and Inference: 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings. Lecture Notes in Computer Science, vol. 10871, Springer, Cham, pp. 399-407.
https://doi.org/10.1007/978-3-319-91376-6_37
APA
Linker, S. (2018).
Sequent Calculus for Euler Diagrams. In P. Chapman, G. Stapleton, A. Moktefi, S. Perez-Kriz, & F. Bellucci (Eds.),
Diagrammatic Representation and Inference: 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings (pp. 399-407). (Lecture Notes in Computer Science; Vol. 10871). Springer.
https://doi.org/10.1007/978-3-319-91376-6_37
Vancouver
Linker S.
Sequent Calculus for Euler Diagrams. In Chapman P, Stapleton G, Moktefi A, Perez-Kriz S, Bellucci F, editors, Diagrammatic Representation and Inference: 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings. Cham: Springer. 2018. p. 399-407. (Lecture Notes in Computer Science). Epub 2018 May 17. doi: 10.1007/978-3-319-91376-6_37
Author
Linker, Sven. /
Sequent Calculus for Euler Diagrams. Diagrammatic Representation and Inference: 10th International Conference, Diagrams 2018, Edinburgh, UK, June 18-22, 2018, Proceedings. editor / Peter Chapman ; Gem Stapleton ; Amirouche Moktefi ; Sarah Perez-Kriz ; Francesco Bellucci. Cham : Springer, 2018. pp. 399-407 (Lecture Notes in Computer Science).
Bibtex
@inbook{5d388f0e69894099a80c759f22dd7f46,
title = "Sequent Calculus for Euler Diagrams",
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.",
author = "Sven Linker",
year = "2018",
month = jun,
day = "18",
doi = "10.1007/978-3-319-91376-6_37",
language = "English",
isbn = "9783319913759",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "399--407",
editor = "Chapman, {Peter } and Gem Stapleton and Amirouche Moktefi and Sarah Perez-Kriz and Francesco Bellucci",
booktitle = "Diagrammatic Representation and Inference",
}
RIS
TY - CHAP
T1 - Sequent Calculus for Euler Diagrams
AU - Linker, Sven
PY - 2018/6/18
Y1 - 2018/6/18
N2 - 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.
AB - 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.
U2 - 10.1007/978-3-319-91376-6_37
DO - 10.1007/978-3-319-91376-6_37
M3 - Chapter (peer-reviewed)
SN - 9783319913759
T3 - Lecture Notes in Computer Science
SP - 399
EP - 407
BT - Diagrammatic Representation and Inference
A2 - Chapman, Peter
A2 - Stapleton, Gem
A2 - Moktefi, Amirouche
A2 - Perez-Kriz, Sarah
A2 - Bellucci, Francesco
PB - Springer
CY - Cham
ER -
