Pages that link to "Item:Q817704"
From MaRDI portal
The following pages link to Towards a semantic characterization of cut-elimination (Q817704):
Displaying 13 items.
- Hypersequent rules with restricted contexts for propositional modal logics (Q344801) (← links)
- Algebraic proof theory for substructural logics: cut-elimination and completions (Q409322) (← links)
- Cut elimination in coalgebraic logics (Q618171) (← links)
- New consecution calculi for \(R^{t}_{\to}\) (Q691126) (← links)
- Algebraic proof theory: hypersequents and hypercompletions (Q730091) (← links)
- Finite-valued semantics for canonical labelled calculi (Q2351396) (← links)
- Sufficient conditions for cut elimination with complexity analysis (Q2461191) (← links)
- Orthogonality and Boolean Algebras for Deduction Modulo (Q3007658) (← links)
- Kripke Semantics for Basic Sequent Systems (Q3010359) (← links)
- Basic Constructive Connectives, Determinism and Matrix-Based Semantics (Q3010364) (← links)
- Canonical Calculi: Invertibility, Axiom Expansion and (Non)-determinism (Q3392939) (← links)
- Strict Canonical Constructive Systems (Q3585998) (← links)
- Towards an algorithmic construction of cut-elimination procedures (Q5458060) (← links)
