Subnets of proof-nets in multiplicative linear logic with MIX

DOI10.1017/S0960129597002326MaRDI QIDQ4379682zbMATH OpenFDO

Authors Gianluigi Bellin

Publication date 4 March 1998

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

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

zbMATH Keywords

concurrent processescorrectnessMix ruleMultiplicative Linear Logicsequentializationsubnets of proof-nets

Mathematics Subject Classification ID

Structure of proofs (03F07) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)

Recommendations

• scientific article; zbMATH DE number 786496
• The mix rule
• scientific article; zbMATH DE number 1499082
• Causal dependencies in multiplicative linear logic with MIX
• Proofs, denotational semantics and observational equivalences in Multiplicative Linear Logic

Cited in

(16)

• Planar and braided proof-nets for multiplicative linear logic with mix
• Softness of MALL proof-structures and a correctness criterion with Mix
• System BV is NP-complete
• Proof-search and proof nets in mixed linear logic
• Sequentialization for n-graphs via sub-n-graphs
• Proofs, denotational semantics and observational equivalences in Multiplicative Linear Logic
• Retractile Proof Nets of the Purely Multiplicative and Additive Fragment of Linear Logic
• scientific article; zbMATH DE number 1499082 (Why is no real title available?)
• scientific article; zbMATH DE number 786496 (Why is no real title available?)
• An Analytic Propositional Proof System on Graphs
• scientific article; zbMATH DE number 7199586 (Why is no real title available?)
• Multiple conclusion linear logic: cut elimination and more
• Computer Science Logic
• scientific article; zbMATH DE number 7324256 (Why is no real title available?)
• YALLA: yet another deep embedding of linear logic in Rocq
• Proof nets sequentialisation in multiplicative linear logic

This page was built for publication: Subnets of proof-nets in multiplicative linear logic with MIX

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