The following pages link to The many faces of interpolation (Q1024113):
Displaying 9 items.
- Craig interpolation for networks of sentences (Q435205) (← links)
- The Lyndon property and uniform interpolation over the Grzegorczyk logic (Q467667) (← links)
- Beth definability, interpolation and language splitting (Q542122) (← links)
- Multicomponent proof-theoretic method for proving interpolation properties (Q1799040) (← links)
- Towards a functional approach to modular ontologies using institutions (Q2016068) (← links)
- Model theoretical aspects of weakly aggregative modal logic (Q2155209) (← links)
- UNIFORM INTERPOLATION IN SUBSTRUCTURAL LOGICS (Q2940884) (← links)
- Through an Inference Rule, Darkly (Q3305631) (← links)
- Craig interpolation for decidable first-order fragments (Q6629523) (← links)