Pages that link to "Item:Q4323010"
From MaRDI portal
The following pages link to Process-Algebraic Interpretations of Positive Linear and Relevant Logics (Q4323010):
Displaying 8 items.
- Conjunction on processes: Full abstraction via ready-tree semantics (Q875513) (← links)
- Phase semantics and Petri net interpretation for resource-sensitive strong negation (Q1006444) (← links)
- Process and action: Relevant theory and logics (Q1207427) (← links)
- Normal modal substructural logics with strong negation (Q1425193) (← links)
- Linear and affine logics with temporal, spatial and epistemic operators (Q2368991) (← links)
- A Logical Viewpoint on Process-algebraic Quotients (Q4812317) (← links)
- (Q4945247) (← links)
- Relating reasoning methodologies in linear logic and process algebra (Q5741581) (← links)