Pages that link to "Item:Q1024116"
From MaRDI portal
The following pages link to Harmonious logic: Craig's interpolation theorem and its descendants (Q1024116):
Displaying 16 items.
- Craig interpolation for networks of sentences (Q435205) (← links)
- Generalized interpolation in CASL (Q851912) (← links)
- A semantic approach to interpolation (Q1006639) (← links)
- The road to two theorems of logic (Q1024115) (← links)
- Some remarks on the bearing of model theory on the theory of theories (Q1024117) (← links)
- The Craig interpolation theorem in abstract model theory (Q1024119) (← links)
- Interpolation in computing science: The semantics of modularization (Q1024120) (← links)
- A unified approach to relative interpolation (Q1110503) (← links)
- An institution-independent proof of Craig interpolation theorem (Q1876090) (← links)
- Model theoretical aspects of weakly aggregative modal logic (Q2155209) (← links)
- Craig interpolation in the presence of unreliable connectives (Q2254572) (← links)
- Monotone quantifiers: Interpolation and preservation (Q2702233) (← links)
- Machine-Checked Interpolation Theorems for Substructural Logics Using Display Calculi (Q2817943) (← links)
- The logic-algebraic equations method in system dynamics (Q2849193) (← links)
- Craig Interpolation in Displayable Logics (Q3010362) (← links)
- From Choosing Elements to Choosing Concepts: The Evolution of Feferman’s Work in Model Theory (Q5214779) (← links)