Pages that link to "Item:Q705530"
From MaRDI portal
The following pages link to Softness of hypercoherences and MALL full completeness (Q705530):
Displaying 9 items.
- The categorical imperative: category theory as a foundation for deontic logic (Q472796) (← links)
- A categorical semantics for polarized MALL (Q866570) (← links)
- \(\mathbb{Z}\)-modules and full completeness of multiplicative linear logic (Q1840462) (← links)
- Event domains, stable functions and proof-nets (Q2864146) (← links)
- Constructing Fully Complete Models for Multiplicative Linear Logic (Q2986835) (← links)
- A Characterization of Hypercoherent Semantic Correctness in Multiplicative Additive Linear Logic (Q3540183) (← links)
- Logic and Geometry of Agents in Agent-Based Modeling (Q5150306) (← links)
- Canonical extensions and relational completeness of some substructural logics (Q5718685) (← links)
- A tale of additives and concurrency in game semantics (Q6612786) (← links)