Pages that link to "Item:Q3644747"
From MaRDI portal
The following pages link to Expanding the Realm of Systematic Proof Theory (Q3644747):
Displaying 8 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)
- Uniform proofs of standard completeness for extensions of first-order MTL (Q744987) (← links)
- Hypersequent and display calculi -- a unified perspective (Q2259013) (← links)
- THE LOGIC OF RESOURCES AND CAPABILITIES (Q4577999) (← links)
- (Q5111325) (← links)
- Power and Limits of Structural Display Rules (Q5277918) (← links)
