Deduction graphs with universal quantification

DOI10.1016/J.ENTCS.2008.03.036MaRDI QIDQ2870317zbMATH OpenOpenAlexFDO

Authors Herman Geuvers, Iris Loeb

Publication date 17 January 2014

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2008.03.036

zbMATH Keywords

natural deductioncut eliminationuniversal quantification

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Structure of proofs (03F07)

Recommendations

• Natural deduction via graphs: formal definition and computation rules
• A graph-theoretic account of logics
• scientific article; zbMATH DE number 4006263
• From Deduction Graphs to Proof Nets: Boxes and Sharing in the Graphical Presentation of Deductions
• Peirce’s graphs amended

Cites work

• scientific article; zbMATH DE number 3275554 (Why is no real title available?)
• scientific article; zbMATH DE number 3339349 (Why is no real title available?)
• From Deduction Graphs to Proof Nets: Boxes and Sharing in the Graphical Presentation of Deductions
• Linear logic
• Natural deduction via graphs: formal definition and computation rules
• Untersuchungen über das logische Schliessen. I

Cited in

(4)

• Natural deduction via graphs: formal definition and computation rules
• scientific article; zbMATH DE number 4006263 (Why is no real title available?)
• scientific article; zbMATH DE number 7599923 (Why is no real title available?)
• Deduction graphs: an algorithm and applications

This page was built for publication: Deduction graphs with universal quantification

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