Subnets of proof-nets in multiplicative linear logic with MIX

DOI10.1017/S0960129597002326zbMath0893.03019MaRDI QIDQ4379682

Gianluigi Bellin

Publication date: 4 March 1998

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

zbMATH Keywords

correctnessconcurrent processessequentializationMix ruleMultiplicative Linear Logicsubnets of proof-nets

Mathematics Subject Classification ID

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

Related Items (3)

Multiple Conclusion Linear Logic: Cut Elimination and More ⋮ An Analytic Propositional Proof System on Graphs ⋮ System BV is NP-complete

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