Softness of MALL proof-structures and a correctness criterion with Mix
From MaRDI portal
Publication:1882627
DOI10.1007/s00153-004-0222-6zbMath1061.03070OpenAlexW2078908046MaRDI QIDQ1882627
Publication date: 1 October 2004
Published in: Archive for Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00153-004-0222-6
Structure of proofs (03F07) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Proof theory in general (including proof-theoretic semantics) (03F03)
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Linear logic
- The structure of multiplicatives
- Additives of linear logic and normalization. I: A (restricted) Church-Rosser property.
- Coherence completions of categories
- Logic Programming with Focusing Proofs in Linear Logic
- Localisation and interaction in one dimension
- The mix rule
- Causal dependencies in multiplicative linear logic with MIX
- Proof nets for unit-free multiplicative-additive linear logic