Pages that link to "Item:Q2921113"
From MaRDI portal
The following pages link to Categorical proof theory of co-intuitionistic linear logic (Q2921113):
Displaying 8 items.
- Structuring co-constructive logic for proofs and refutations (Q263109) (← links)
- Reasoning about distributed information with infinitely many agents (Q2043805) (← links)
- Categorical semantics for subexponentials in SELL (Q2877990) (← links)
- Pragmatic and dialogic interpretations of bi-intuitionism. Part I (Q2987724) (← links)
- On the categorical semantics of elementary linear logic (Q3646423) (← links)
- A Small Observation on Co-categories (Q5200298) (← links)
- Modelling Coeffects in the Relational Semantics of Linear Logic (Q5351981) (← links)
- A general Glivenko-Gödel theorem for nuclei (Q6653747) (← links)