Pages that link to "Item:Q741087"

The following pages link to The bounded proof property via step algebras and step frames (Q741087):

Displaying 3 items.

• Hypersequent rules with restricted contexts for propositional modal logics (Q344801) (← links)
• Algebraic proof theory: hypersequents and hypercompletions (Q730091) (← links)
• Lattice logic as a fragment of (2-sorted) residuated modal logic (Q5379322) (← links)