Pages that link to "Item:Q2835880"

The following pages link to Proving Craig and Lyndon Interpolation Using Labelled Sequent Calculi (Q2835880):

Displaying 4 items.

• Uniform Lyndon interpolation property in propositional modal logics (Q781510) (← links)
• Multicomponent proof-theoretic method for proving interpolation properties (Q1799040) (← links)
• Interpolation Method for Multicomponent Sequent Calculi (Q5283429) (← links)
• Extensions of \textsf{K5}: proof theory and uniform Lyndon interpolation (Q6541157) (← links)