Pages that link to "Item:Q1960420"
From MaRDI portal
The following pages link to An algebraic correctness criterion for intuitionistic multiplicative proof-nets (Q1960420):
Displaying 6 items.
- Syllogisms in rudimentary linear logic, diagrammatically (Q2255209) (← 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)
- (Q4501135) (← links)
- On intuitionistic proof nets with additional rewrite rules and their approximations (Q4916174) (← links)
- (Q5472934) (← links)