The following pages link to (Q3367300):
Displaying 7 items.
- Categorical relationships between Goguen sets and ``two-sided'' categorical models of linear logic (Q705522) (← links)
- Relating categorical semantics for intuitionistic linear logic (Q1781095) (← links)
- Poset-valued sets or how to build models for linear logics (Q1826627) (← links)
- Categorical interpretation of logical derivations and its applications in algebra (Q2452950) (← links)
- Categorical semantics for subexponentials in SELL (Q2877990) (← links)
- (Q3824308) (← links)
- YET ANOTHER FUZZY MODEL FOR LINEAR LOGIC (Q5291334) (← links)