The following pages link to An interpolation theorem (Q2711348):
Displaying 14 items.
- Generating conditions for preserving the properties of controlled discrete event systems (Q329088) (← links)
- Craig interpolation for networks of sentences (Q435205) (← links)
- A relative interpolation theorem for infinitary universal Horn logic and its applications (Q818926) (← links)
- Harmonious logic: Craig's interpolation theorem and its descendants (Q1024116) (← links)
- A unified approach to relative interpolation (Q1110503) (← links)
- An interpolation theorem for transformers (Q1916650) (← links)
- Monotone quantifiers: Interpolation and preservation (Q2702233) (← links)
- (Q3300794) (← links)
- (Q3744717) (← links)
- (Q5133489) (← links)
- From Choosing Elements to Choosing Concepts: The Evolution of Feferman’s Work in Model Theory (Q5214779) (← links)
- Effective Interpolation and Preservation in Guarded Logics (Q5277909) (← links)
- Synthesizing nested relational queries from implicit specifications: via model theory and via proof theory (Q6597957) (← links)
- Craig interpolation for decidable first-order fragments (Q6629523) (← links)