Pages that link to "Item:Q3975037"
From MaRDI portal
The following pages link to An algebraic axiomatization of linear logic models (Q3975037):
Displaying 12 items.
- \(*\)-autonomous categories of bimodules (Q1345016) (← links)
- May I borrow your logic? (Transporting logical structures along maps) (Q1391728) (← links)
- Models of linear logic (Q1807458) (← links)
- Poset-valued sets or how to build models for linear logics (Q1826627) (← links)
- Debits and Credits in Petri Nets and Linear Logic (Q2945703) (← links)
- An Infinitary Model of Linear Logic (Q2948550) (← links)
- Constructing Fully Complete Models of Multiplicative Linear Logic (Q3196336) (← links)
- (Q3824308) (← links)
- An introduction to differential linear logic: proof-nets, models and antiderivatives (Q4577980) (← links)
- A model of intuitionistic affine logic from stable domain theory (Q4632438) (← links)
- Semantical observations on the embedding of Intuitionistic Logic into Intuitionistic Linear Logic (Q4847311) (← links)
- (Q5015209) (← links)