Pages that link to "Item:Q3455766"
From MaRDI portal
The following pages link to Linear Nested Sequents, 2-Sequents and Hypersequents (Q3455766):
Displayed 13 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)
- 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 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)
- Natural deduction calculi for classical and intuitionistic S5 (Q6172068) (← links)
- Cut Elimination for Extended Sequent Calculi (Q6200474) (← links)