The mix rule

DOI10.1017/S0960129500000451MaRDI QIDQ4302338zbMATH OpenOpenAlexFDO

Authors A. Fleury, Christian Retoré

Publication date 14 August 1994

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

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

zbMATH Keywords

multiplicative linear logic with unitsproof netssequent calculussequential proof

Mathematics Subject Classification ID

Subsystems of classical logic (including intuitionistic logic) (03B20) Structure of proofs (03F07) Categorical logic, topoi (03G30) Theories (e.g., algebraic theories), structure, and semantics (18C10)

Recommendations

• Cutting the mix
• scientific article; zbMATH DE number 1303141
• The mathematics of mixing things up
• Varieties of mixing
• A note on multiple mixing
• Mixmaster chaos

Cites work

• Computational interpretations of linear logic
• Linear logic

Cited in

(24)

• Natural deduction and coherence for weakly distributive categories
• Handsome proof-nets: Perfect matchings and cographs
• Softness of MALL proof-structures and a correctness criterion with Mix
• MELL in the calculus of structures
• Free modal Riesz spaces are Archimedean: a syntactic proof
• Proof-search and proof nets in mixed linear logic
• On the meaning of logical rules. II: Multiplicatives and additives
• Relating toy models of quantum computation: comprehension, complementarity and dagger mix autonomous categories
• Debits and Credits in Petri Nets and Linear Logic
• The 20-60-20 rule
• Proofs, denotational semantics and observational equivalences in Multiplicative Linear Logic
• The shuffle Hopf algebra and noncommutative full completeness
• Subnets of proof-nets in multiplicative linear logic with MIX
• scientific article; zbMATH DE number 2020177 (Why is no real title available?)
• Classical linear logics with mix separation principle
• System NEL is undecidable
• scientific article; zbMATH DE number 7359421 (Why is no real title available?)
• Pomset logic. The other approach to noncommutativity in logic
• An Analytic Propositional Proof System on Graphs
• A System of Interaction and Structure III: The Complexity of BV and Pomset Logic
• Weakly distributive categories
• Laplace distributors and Laplace transformations for differential categories
• A simple token game and its logic
• YALLA: yet another deep embedding of linear logic in Rocq

This page was built for publication: The mix rule

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