Pages that link to "Item:Q2752054"
From MaRDI portal
The following pages link to On the meaning of logical rules. II: Multiplicatives and additives (Q2752054):
Displaying 7 items.
- An approach to innocent strategies as graphs (Q418201) (← links)
- Softness of hypercoherences and MALL full completeness (Q705530) (← links)
- The additive multiboxes (Q1861326) (← links)
- An Indexed System for Multiplicative Additive Polarized Linear Logic (Q3540184) (← links)
- Axiom Directed Focusing (Q3638252) (← links)
- Jump from parallel to sequential proofs: exponentials (Q4577985) (← links)
- An Analytic Propositional Proof System on Graphs (Q5060181) (← links)