The following pages link to Sequentialising nested systems (Q2180514):
Displaying 7 items.
- Prefixed tableaus and nested sequents (Q409323) (← links)
- A semantical view of proof systems (Q1799270) (← links)
- A fresh view of linear logic as a logical framework (Q2229156) (← links)
- Modularisation of Sequent Calculi for Normal and Non-normal Modalities (Q4633639) (← links)
- On the correspondence between nested calculi and semantic systems for intuitionistic logics (Q5028317) (← links)
- BOUNDED-ANALYTIC SEQUENT CALCULI AND EMBEDDINGS FOR HYPERSEQUENT LOGICS (Q5159492) (← links)
- A linear logic framework for multimodal logics (Q5889307) (← links)