Pages that link to "Item:Q741087"
From MaRDI portal
The following pages link to The bounded proof property via step algebras and step frames (Q741087):
Displayed 6 items.
- Hypersequent rules with restricted contexts for propositional modal logics (Q344801) (← links)
- Algebraic proof theory: hypersequents and hypercompletions (Q730091) (← links)
- BOUNDED-ANALYTIC SEQUENT CALCULI AND EMBEDDINGS FOR HYPERSEQUENT LOGICS (Q5159492) (← links)
- Modal translation of substructural logics (Q5217248) (← links)
- COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS (Q5241231) (← links)
- Lattice logic as a fragment of (2-sorted) residuated modal logic (Q5379322) (← links)