Pages that link to "Item:Q1884903"
From MaRDI portal
The following pages link to MELL in the calculus of structures (Q1884903):
Displayed 5 items.
- Deep sequent systems for modal logic (Q834716) (← 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)
- Some Observations on the Proof Theory of Second Order Propositional Multiplicative Linear Logic (Q3637204) (← links)