Towards a Proof Theory for Heterogeneous Logic Combining Sentences and Diagrams

DOI10.1007/978-3-319-91376-6_55OpenAlexW2804296252MaRDI QIDQ5878888

Ryo Takemura

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_55

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Related Items (1)

Proof theory for heterogeneous logic combining formulas and diagrams: proof normalization

Uses Software

• Speedith
• Hyperproof

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Proof theory for reasoning with Euler diagrams: a logic translation and normalization
• Reasoning with sentences and diagrams
• Untersuchungen über das logische Schliessen. II
• A diagrammatic inference system with Euler circles
• Speedith: a reasoner for spider diagrams
• Heterogeneous Proofs: Spider Diagrams Meet Higher-Order Provers
• Spider Diagrams
• Logic and structure

This page was built for publication: Towards a Proof Theory for Heterogeneous Logic Combining Sentences and Diagrams