From Deep Inference to Proof Nets via Cut Elimination

DOI10.1093/LOGCOM/EXP047zbMath1253.03030OpenAlexW2142139521MaRDI QIDQ3094143

Lutz Straßburger

Publication date: 21 October 2011

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/exp047

zbMATH Keywords

cut eliminationclassical propositional logicproof netsFrege systemsextension ruledeep inferenceatomic flows

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Classical propositional logic (03B05) Structure of proofs (03F07)

Related Items (3)

Extension without cut ⋮ Unnamed Item ⋮ Deep inference and expansion trees for second-order multiplicative linear logic

This page was built for publication: From Deep Inference to Proof Nets via Cut Elimination