Sequent Calculus for Euler Diagrams

DOI10.1007/978-3-319-91376-6_37OpenAlexW2803386304MaRDI QIDQ5878881

Sven Linker

Publication date: 23 February 2023

Published in: Diagrammatic Representation and Inference (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-91376-6_37

zbMATH Keywords

proof systemsEuler diagramsheterogeneous reasoning

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Related Items (2)

From Euler diagrams to Aristotelian diagrams ⋮ Arthur Schopenhauer on Naturalness in Logic

Uses Software

• Pesca
• Speedith

Cites Work

• Speedith: a reasoner for spider diagrams
• Spider Diagrams
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Sequent Calculus for Euler Diagrams