Pages that link to "Item:Q2259013"
From MaRDI portal
The following pages link to Hypersequent and display calculi -- a unified perspective (Q2259013):
Displayed 7 items.
- Knowledge, belief, normality, and introspection (Q2218706) (← links)
- A survey of nonstandard sequent calculi (Q2259014) (← links)
- Disentangling structural connectives or life without display property (Q2421521) (← links)
- Hypersequent Calculi for S5: The Methods of Cut Elimination (Q2987741) (← links)
- Prawitz, Proofs, and Meaning (Q5213604) (← links)
- Power and Limits of Structural Display Rules (Q5277918) (← links)
- LINEAR TIME IN HYPERSEQUENT FRAMEWORK (Q5346691) (← links)