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

DOI10.1007/s00153-020-00759-yzbMath1487.03063OpenAlexW3130111703WikidataQ113906145 ScholiaQ113906145MaRDI QIDQ2238136

Ryo Takemura

Publication date: 29 October 2021

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00153-020-00759-y

zbMATH Keywords

proof theorydiagramsproof normalizationheterogeneous logic

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Proof theory in general (including proof-theoretic semantics) (03F03)

Uses Software

• Pesca
• Hyperproof

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Proof theory for reasoning with Euler diagrams: a logic translation and normalization
• Advances in proof-theoretic semantics
• Reasoning with sentences and diagrams
• Natural deduction with general elimination rules
• Untersuchungen über das logische Schliessen. II
• A diagrammatic inference system with Euler circles
• Validity concepts in proof-theoretic semantics
• Logical Investigation of Reasoning with Tables
• Heterogeneous Proofs: Spider Diagrams Meet Higher-Order Provers
• A natural extension of natural deduction
• Spider Diagrams
• Towards a Proof Theory for Heterogeneous Logic Combining Sentences and Diagrams
• Logic and structure

This page was built for publication: Proof theory for heterogeneous logic combining formulas and diagrams: proof normalization