Pages that link to "Item:Q3010362"
From MaRDI portal
The following pages link to Craig Interpolation in Displayable Logics (Q3010362):
Displaying 5 items.
- Multicomponent proof-theoretic method for proving interpolation properties (Q1799040) (← links)
- Hypersequent and display calculi -- a unified perspective (Q2259013) (← links)
- Machine-Checked Interpolation Theorems for Substructural Logics Using Display Calculi (Q2817943) (← links)
- Proving Craig and Lyndon Interpolation Using Labelled Sequent Calculi (Q2835880) (← links)
- Craig Interpolation in Displayable Logics (Q3010362) (← links)
