Pages that link to "Item:Q1799040"

The following pages link to Multicomponent proof-theoretic method for proving interpolation properties (Q1799040):

Displayed 3 items.

• Uniform interpolation via nested sequents (Q2148805) ‎ (← links)
• Interpolation in extensions of first-order logic (Q2186699) ‎ (← links)
• Through an Inference Rule, Darkly (Q3305631) ‎ (← links)