Pages that link to "Item:Q5283429"
From MaRDI portal
The following pages link to Interpolation Method for Multicomponent Sequent Calculi (Q5283429):
Displaying 5 items.
- Multicomponent proof-theoretic method for proving interpolation properties (Q1799040) (← links)
- Uniform interpolation via nested sequents (Q2148805) (← links)
- Interpolation in practical formal development (Q2716926) (← links)
- Proving Craig and Lyndon Interpolation Using Labelled Sequent Calculi (Q2835880) (← links)
- Through an Inference Rule, Darkly (Q3305631) (← links)