Pages that link to "Item:Q5145339"
From MaRDI portal
The following pages link to Around Classical and Intuitionistic Linear Logics (Q5145339):
Displaying 13 items.
- Linearizing intuitionistic implication (Q1210141) (← links)
- Statistics of intuitionistic versus classical logics (Q1826933) (← links)
- Classical multiplicative linear logic \(\simeq\) intuitionistic MLL (Q2751819) (← links)
- On linear Brouwerian logics (Q2922494) (← links)
- (Q4263007) (← links)
- Towards CERes in intuitionistic logic (Q4649567) (← links)
- Semantical observations on the embedding of Intuitionistic Logic into Intuitionistic Linear Logic (Q4847311) (← links)
- (Q5018490) (← links)
- (Q5094136) (← links)
- (Q5215789) (← links)
- Formal Methods in Software and Systems Modeling (Q5710409) (← links)
- Explorations in Subexponential Non-associative Non-commutative Linear Logic (Q6196498) (← links)
- Comparing session type systems derived from linear logic (Q6643467) (← links)