Pages that link to "Item:Q2793913"
From MaRDI portal
The following pages link to A note on the substructural hierarchy (Q2793913):
Displaying 5 items.
- Algebraic proof theory: hypersequents and hypercompletions (Q730091) (← links)
- Poset products as relational models (Q2115284) (← links)
- Canonical formulas for \(k\)-potent commutative, integral, residuated lattices (Q2359733) (← links)
- BOUNDED-ANALYTIC SEQUENT CALCULI AND EMBEDDINGS FOR HYPERSEQUENT LOGICS (Q5159492) (← links)
- Power and Limits of Structural Display Rules (Q5277918) (← links)
