Two-dimensional proof-structures and the exchange rule

DOI10.1017/S0960129503004092MaRDI QIDQ4463990zbMATH OpenFDO

Authors Christophe Gaubert

Publication date 27 May 2004

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/S0960129503004092

zbMATH Keywords

decorated sequent calculusexchange rulelinear logicproof structuresurface

Mathematics Subject Classification ID

Structure of proofs (03F07) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Recommendations

• Implicit exchange in multiplicative proofnets
• Logical structures and genus of proofs
• Computer Science Logic
• Permutative Additives and Exponentials
• scientific article; zbMATH DE number 7441265

Cited in

(5)

• A geometrical procedure for computing relaxation
• Implicit exchange in multiplicative proofnets
• Rewriting systems for the surface classification theorem
• Computer Science Logic
• Exchange lemmas 2: General exchange Lemma

This page was built for publication: Two-dimensional proof-structures and the exchange rule

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