Pages that link to "Item:Q2936238"

The following pages link to Constructing Cut Free Sequent Systems with Context Restrictions Based on Classical or Intuitionistic Logic (Q2936238):

Displaying 2 items.

• Hypersequent rules with restricted contexts for propositional modal logics (Q344801) (← links)
• The bounded proof property via step algebras and step frames (Q741087) (← links)