Pages that link to "Item:Q3644747"
From MaRDI portal
The following pages link to Expanding the Realm of Systematic Proof Theory (Q3644747):
Displayed 4 items.
- Algebraic proof theory for substructural logics: cut-elimination and completions (Q409322) (← links)
- Disjunction property and complexity of substructural logics (Q549720) (← links)
- Proof analysis in intermediate logics (Q661286) (← links)
- Hypersequent and display calculi -- a unified perspective (Q2259013) (← links)