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

DOI10.1007/S00153-020-00759-YzbMATH Open1487.03063OpenAlexW3130111703WikidataQ113906145 ScholiaQ113906145MaRDI QIDQ2238136FDOQ2238136

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

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

Cites Work

• Structural proof theory. With an appendix by Aarne Ranta
• Untersuchungen über das logische Schliessen. II
• Advances in proof-theoretic semantics
• Natural deduction with general elimination rules
• Heterogeneous reasoning with Euler/Venn diagrams containing named constants and FOL
• A diagrammatic inference system with Euler circles
• Proof theory for reasoning with Euler diagrams: a logic translation and normalization
• Spider Diagrams
• Validity concepts in proof-theoretic semantics
• A natural extension of natural deduction
• Logic and structure
• Reasoning with sentences and diagrams
• Logical Investigation of Reasoning with Tables
• Heterogeneous Proofs: Spider Diagrams Meet Higher-Order Provers
• Towards a Proof Theory for Heterogeneous Logic Combining Sentences and Diagrams
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Uses Software

• Pesca
• Hyperproof

   Recommendations

• Towards a Proof Theory for Heterogeneous Logic Combining Sentences and Diagrams 👍 👎
• Title not available (Why is that?) 👍 👎
• Proof theory for reasoning with Euler diagrams: a logic translation and normalization 👍 👎
• Proof diagrams for multiplicative linear logic: syntax and semantics 👍 👎
• Proof-theoretic foundations of normal logic programs 👍 👎
• On strong normalization in proof-graphs for propositional logic 👍 👎
• Proof-nets, hybrid logics and minimalist representations 👍 👎
• On proof normalization in linear logic 👍 👎
• Extended normal form theorems for logical proofs from axioms 👍 👎
• Proof theory, semantics and algebra for normative systems 👍 👎

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2238136)