Pages that link to "Item:Q3455766"
From MaRDI portal
The following pages link to Linear Nested Sequents, 2-Sequents and Hypersequents (Q3455766):
Displaying 14 items.
- Proof theory for functional modal logic (Q1708100) (← links)
- A rewriting logic approach to specification, proof-search, and meta-proofs in sequent systems (Q2095424) (← links)
- A fresh view of linear logic as a logical framework (Q2229156) (← links)
- Through an Inference Rule, Darkly (Q3305631) (← links)
- Cut Elimination Theorem for Non-Commutative Hypersequent Calculus (Q4608559) (← links)
- Modularisation of Sequent Calculi for Normal and Non-normal Modalities (Q4633639) (← links)
- Grafting hypersequents onto nested sequents (Q4644546) (← links)
- CUT-FREE COMPLETENESS FOR MODULAR HYPERSEQUENT CALCULI FOR MODAL LOGICS K, T, AND D (Q5027667) (← links)
- (Q5090950) (← links)
- CUT ELIMINATION IN HYPERSEQUENT CALCULUS FOR SOME LOGICS OF LINEAR TIME (Q5216979) (← links)
- A hypersequent calculus with clusters for linear frames (Q5224559) (← links)
- A general proof certification framework for modal logic (Q5236558) (← links)
- A linear logic framework for multimodal logics (Q5889307) (← links)
- An ecumenical notion of entailment (Q6067097) (← links)
