Pages that link to "Item:Q1884903"
From MaRDI portal
The following pages link to MELL in the calculus of structures (Q1884903):
Displaying 21 items.
- A logical calculus for controlled monotonicity (Q472804) (← links)
- Extension without cut (Q714731) (← links)
- Deep sequent systems for modal logic (Q834716) (← links)
- On linear logic planning and concurrency (Q1041042) (← links)
- On the decision problem for MELL (Q1733062) (← links)
- Subformula linking for intuitionistic logic with application to type theory (Q2055855) (← links)
- The explosion calculus (Q2186694) (← links)
- Locality for classical logic (Q2372689) (← links)
- System BV is NP-complete (Q2478549) (← links)
- The three dimensions of proofs (Q2498912) (← links)
- On structuring proof search for first order linear logic (Q2503319) (← links)
- (Q3333548) (← links)
- Some Observations on the Proof Theory of Second Order Propositional Multiplicative Linear Logic (Q3637204) (← links)
- (Q4235007) (← links)
- Pomset Logic (Q5014600) (← links)
- An Analytic Propositional Proof System on Graphs (Q5060181) (← links)
- Computing connected proof(-structure)s from their Taylor expansion (Q5369485) (← links)
- A Logical Basis for Quantum Evolution and Entanglement (Q5414959) (← links)
- Maude as a Platform for Designing and Implementing Deep Inference Systems (Q5415654) (← links)
- Exponentially handsome proof nets and their normalization (Q6657781) (← links)
- A deep inference system for differential linear logic (Q6657782) (← links)
