Pages that link to "Item:Q4366767"
From MaRDI portal
The following pages link to A semantic characterisation of the correctness of a proof net (Q4366767):
Displayed 8 items.
- Visible acyclic differential nets. I: Semantics (Q409321) (← links)
- The relational model is injective for multiplicative exponential linear logic (without weakenings) (Q435194) (← links)
- Non decomposable connectives of linear logic (Q2326414) (← links)
- Cyclic Multiplicative Proof Nets of Linear Logic with an Application to Language Parsing (Q2947459) (← links)
- A Characterization of Hypercoherent Semantic Correctness in Multiplicative Additive Linear Logic (Q3540183) (← links)
- Pomset Logic (Q5014600) (← links)
- (Q5094132) (← links)
- A System of Interaction and Structure III: The Complexity of BV and Pomset Logic (Q6137849) (← links)