Pages that link to "Item:Q1407588"
From MaRDI portal
The following pages link to A new correctness criterion for multiplicative non-commutative proof nets (Q1407588):
Displaying 10 items.
- A new correctness criterion for cyclic proof nets (Q1280050) (← links)
- An algebraic correctness criterion for intuitionistic multiplicative proof-nets (Q1960420) (← links)
- Cyclic Multiplicative-Additive Proof Nets of Linear Logic with an Application to Language Parsing (Q2835043) (← links)
- Cyclic Multiplicative Proof Nets of Linear Logic with an Application to Language Parsing (Q2947459) (← links)
- Minimality of the correctness criterion for multiplicative proof nets (Q4236199) (← links)
- A new correctness criterion for the proof nets of non-commutative multiplicative linear logics (Q4328819) (← links)
- Non-commutative logic II: sequent calculus and phase semantics (Q4487273) (← links)
- (Q4501135) (← links)
- (Q4842978) (← links)
- Proof nets for multiplicative cyclic linear logic and Lambek calculus (Q5377696) (← links)