The following pages link to Axioms and models of linear logic (Q915719):
Displaying 8 items.
- Linear logic displayed (Q918548) (← links)
- Prolegomena of a logic of causality and dynamism (Q1283141) (← links)
- Models of linear logic (Q1807458) (← links)
- Linear arithmetic desecsed (Q2735832) (← links)
- An Infinitary Model of Linear Logic (Q2948550) (← links)
- An algebraic axiomatization of linear logic models (Q3975037) (← links)
- Autonomous posets and quantales (Q4304551) (← links)
- (Q5015209) (← links)