Pages that link to "Item:Q1799040"
From MaRDI portal
The following pages link to Multicomponent proof-theoretic method for proving interpolation properties (Q1799040):
Displaying 6 items.
- Modal interpolation via nested sequents (Q487689) (← links)
- Uniform interpolation via nested sequents (Q2148805) (← links)
- Interpolation in extensions of first-order logic (Q2186699) (← links)
- Through an Inference Rule, Darkly (Q3305631) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5308386) (← links)
- Extensions of \textsf{K5}: proof theory and uniform Lyndon interpolation (Q6541157) (← links)