The following pages link to Models of linear logic (Q1807458):
Displaying 11 items.
- Modeling linear logic with implicit functions (Q392296) (← links)
- Axioms and models of linear logic (Q915719) (← links)
- A logical model of HCP (Q1599761) (← links)
- Linear modalities in mininal logic (Q1866867) (← links)
- An Infinitary Model of Linear Logic (Q2948550) (← links)
- An algebraic axiomatization of linear logic models (Q3975037) (← links)
- Linear Logic and Exceptions (Q4323006) (← links)
- The Carcinogenic Example (Q4372853) (← links)
- (Q5015209) (← links)
- (Q5494212) (← links)
- A Note on Linear Kripke Models (Q5696304) (← links)