Deduction Graphs with Universal Quantification

DOI10.1016/J.ENTCS.2008.03.036zbMath1279.03080OpenAlexW2129581061MaRDI QIDQ2870317

Iris Loeb, Herman Geuvers

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

cut eliminationnatural deductionuniversal quantification

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Linear logic
• Untersuchungen über das logische Schliessen. I
• Natural deduction via graphs: formal definition and computation rules
• From Deduction Graphs to Proof Nets: Boxes and Sharing in the Graphical Presentation of Deductions

This page was built for publication: Deduction Graphs with Universal Quantification