Pages that link to "Item:Q1372944"
From MaRDI portal
The following pages link to Indexed systems of sequents and cut-elimination (Q1372944):
Displaying 16 items.
- Tableaux and hypersequents for justification logics (Q408538) (← links)
- Cut-free formulations for a quantified logic of here and there (Q638492) (← links)
- Proof analysis in modal logic (Q812101) (← links)
- Display calculi and other modal calculi: a comparison (Q987468) (← links)
- Multicomponent proof-theoretic method for proving interpolation properties (Q1799040) (← links)
- Proofs and countermodels in non-classical logics (Q2254557) (← links)
- Sufficient conditions for cut elimination with complexity analysis (Q2461191) (← links)
- Inducing Syntactic Cut-Elimination for Indexed Nested Sequents (Q2817941) (← links)
- Through an Inference Rule, Darkly (Q3305631) (← links)
- A CUT-FREE SIMPLE SEQUENT CALCULUS FOR MODAL LOGIC S5 (Q3580655) (← links)
- The Method of Tree-Hypersequents for Modal Propositional Logic (Q3600562) (← links)
- (Q4558785) (← links)
- Logical derivation search with assumption traceability (Q5040820) (← links)
- Interpolation theorems for intuitionistic predicate logic (Q5957915) (← links)
- Rooted hypersequent calculus for modal logic \textsf{S5} (Q6054106) (← links)
- A natural deduction calculus for \textbf{S4.2} (Q6589311) (← links)
