Pages that link to "Item:Q5874191"
From MaRDI portal
The following pages link to Generalized connectives for multiplicative linear logic (Q5874191):
Displaying 4 items.
- Acyclicity and Coherence in Multiplicative Exponential Linear Logic (Q3613361) (← 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)
- Harmony in the light of computational ludics (Q6657788) (← links)