Pages that link to "Item:Q5505575"
From MaRDI portal
The following pages link to Focusing Strategies in the Sequent Calculus of Synthetic Connectives (Q5505575):
Displaying 7 items.
- From axioms to synthetic inference rules via focusing (Q2120974) (← links)
- Focused and Synthetic Nested Sequents (Q2811354) (← links)
- On the Meaning of Focalization (Q3080087) (← links)
- From Focalization of Logic to the Logic of Focalization (Q3178251) (← links)
- Multi-focused cut elimination (Q4637625) (← links)
- On geometry of interaction for polarized linear logic (Q4961719) (← links)
- (Q5015210) (← links)
