Pages that link to "Item:Q4644546"
From MaRDI portal
The following pages link to Grafting hypersequents onto nested sequents (Q4644546):
Displayed 5 items.
- Compositional meaning in logic (Q1682292) (← links)
- Multicomponent proof-theoretic method for proving interpolation properties (Q1799040) (← links)
- Through an Inference Rule, Darkly (Q3305631) (← links)
- CUT ELIMINATION IN HYPERSEQUENT CALCULUS FOR SOME LOGICS OF LINEAR TIME (Q5216979) (← links)
- Rooted hypersequent calculus for modal logic \textsf{S5} (Q6054106) (← links)