Softness of MALL proof-structures and a correctness criterion with Mix

DOI10.1007/s00153-004-0222-6zbMath1061.03070OpenAlexW2078908046MaRDI QIDQ1882627

Masahiro Hamano

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

zbMATH Keywords

multiplicative-additive linear logic

Mathematics Subject Classification ID

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

A categorical semantics for polarized MALL, Softness of hypercoherences and MALL full completeness

Cites Work

• 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
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item