Pages that link to "Item:Q5874191"

The following pages link to Generalized connectives for multiplicative linear logic (Q5874191):

Displaying 3 items.

• 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)