The following pages link to (Q4428313):
Displaying 12 items.
- A locality principle for system theory. (Q1566764) (← links)
- MELL in the calculus of structures (Q1884903) (← links)
- From QBFs to \textsf{MALL} and back via focussing (Q2209553) (← links)
- A fresh view of linear logic as a logical framework (Q2229156) (← links)
- A deep inference system for the modal logic S5 (Q2642520) (← links)
- A Local System for Classical Logic (Q2996175) (← links)
- (Q4284237) (← links)
- Local computation in linear logic (Q4304131) (← links)
- An Analytic Propositional Proof System on Graphs (Q5060181) (← links)
- (Q5089025) (← links)
- A Logical Basis for Quantum Evolution and Entanglement (Q5414959) (← links)
- Enumerating Independent Linear Inferences (Q6135760) (← links)