Pages that link to "Item:Q4972161"
From MaRDI portal
The following pages link to De Morgan Dual Nominal Quantifiers Modelling Private Names in Non-Commutative Logic (Q4972161):
Displaying 6 items.
- (Q4608683) (← links)
- An Analytic Propositional Proof System on Graphs (Q5060181) (← links)
- (Q5089025) (← links)
- Constructing weak simulations from linear implications for processes with private names (Q5236556) (← links)
- A System of Interaction and Structure III: The Complexity of BV and Pomset Logic (Q6137849) (← links)
- A deep inference system for differential linear logic (Q6657782) (← links)