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

DOI10.1007/S00153-020-00759-YMaRDI QIDQ2238136zbMATH OpenOpenAlexWikidataFDO

Authors 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)

Recommendations

• Towards a Proof Theory for Heterogeneous Logic Combining Sentences and Diagrams
• scientific article; zbMATH DE number 1082077
• 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

Cites work

• scientific article; zbMATH DE number 1302506 (Why is no real title available?)
• scientific article; zbMATH DE number 1497485 (Why is no real title available?)
• scientific article; zbMATH DE number 795568 (Why is no real title available?)
• scientific article; zbMATH DE number 794693 (Why is no real title available?)
• scientific article; zbMATH DE number 819502 (Why is no real title available?)
• scientific article; zbMATH DE number 918108 (Why is no real title available?)
• scientific article; zbMATH DE number 3275554 (Why is no real title available?)
• scientific article; zbMATH DE number 3358455 (Why is no real title available?)
• A diagrammatic inference system with Euler circles
• A natural extension of natural deduction
• Advances in proof-theoretic semantics
• Heterogeneous proofs: spider diagrams meet higher-order provers
• Heterogeneous reasoning with Euler/Venn diagrams containing named constants and FOL
• Logic and structure
• Logical investigation of reasoning with tables
• Logical reasoning with diagrams and sentences. Using hyperproof
• Natural deduction with general elimination rules
• Proof theory for reasoning with Euler diagrams: a logic translation and normalization
• Reasoning with sentences and diagrams
• Spider Diagrams
• Structural proof theory. With an appendix by Aarne Ranta
• Towards a Proof Theory for Heterogeneous Logic Combining Sentences and Diagrams
• Untersuchungen über das logische Schliessen. II
• Validity concepts in proof-theoretic semantics

Cited in

(5)

• Heterogeneous proofs: spider diagrams meet higher-order provers
• Heterogeneous reasoning with Euler/Venn diagrams containing named constants and FOL
• A logical investigation of heterogeneous reasoning with graphs in elementary economics
• Proof theory for reasoning with Euler diagrams: a logic translation and normalization
• Towards a Proof Theory for Heterogeneous Logic Combining Sentences and Diagrams

Describes a project that uses

Uses Software

• Hyperproof
• Pesca

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)