Pages that link to "Item:Q4221771"

The following pages link to Translation of hypersequents into display sequents (Q4221771):

Displaying 3 items.

• Proofs and countermodels in non-classical logics (Q2254557) (← links)
• Hypersequent and display calculi -- a unified perspective (Q2259013) (← links)
• A deep inference system for the modal logic S5 (Q2642520) (← links)