Pages that link to "Item:Q2915680"
From MaRDI portal
The following pages link to The focused calculus of structures (Q2915680):
Displaying 17 items.
- Focussing, \(\mathsf{MALL}\) and the polynomial hierarchy (Q1799136) (← links)
- The explosion calculus (Q2186694) (← links)
- Focused and Synthetic Nested Sequents (Q2811354) (← links)
- Focused proof search for linear logic in the calculus of structures (Q2883080) (← links)
- Structural Focalization (Q2946730) (← links)
- On the Power of Substitution in the Calculus of Structures (Q2946759) (← links)
- Behavioural Analysis of Sessions Using the Calculus of Structures (Q3179170) (← links)
- Multi-focused cut elimination (Q4637625) (← links)
- Linking focusing and resolution with selection (Q5005105) (← links)
- (Q5015210) (← links)
- An Analytic Propositional Proof System on Graphs (Q5060181) (← links)
- (Q5089025) (← links)
- Strong Sums in Focused Logic (Q5145299) (← links)
- Deep inference and expansion trees for second-order multiplicative linear logic (Q5236548) (← links)
- Constructing weak simulations from linear implications for processes with private names (Q5236556) (← links)
- A multi-focused proof system isomorphic to expansion proofs (Q5739975) (← links)
- Focused linear logic and the \(\lambda\)-calculus (Q5971394) (← links)