The following pages link to The mix rule (Q4302338):
Displaying 18 items.
- The 20-60-20 rule (Q316859) (← links)
- Weakly distributive categories (Q674463) (← links)
- Natural deduction and coherence for weakly distributive categories (Q1126244) (← links)
- Planar and braided proof-nets for multiplicative linear logic with mix (Q1267841) (← links)
- Handsome proof-nets: Perfect matchings and cographs (Q1398476) (← links)
- Softness of MALL proof-structures and a correctness criterion with Mix (Q1882627) (← links)
- MELL in the calculus of structures (Q1884903) (← links)
- Free modal Riesz spaces are Archimedean: a syntactic proof (Q2695359) (← links)
- Proof-search and proof nets in mixed linear logic (Q2703720) (← links)
- On the meaning of logical rules. II: Multiplicatives and additives (Q2752054) (← links)
- Relating toy models of quantum computation: comprehension, complementarity and dagger mix autonomous categories (Q2825368) (← links)
- Debits and Credits in Petri Nets and Linear Logic (Q2945703) (← links)
- The shuffle Hopf algebra and noncommutative full completeness (Q4254690) (← links)
- System NEL is Undecidable (Q4924537) (← links)
- (Q4993356) (← links)
- Pomset Logic (Q5014600) (← links)
- An Analytic Propositional Proof System on Graphs (Q5060181) (← links)
- A System of Interaction and Structure III: The Complexity of BV and Pomset Logic (Q6137849) (← links)