Pages that link to "Item:Q1173754"
From MaRDI portal
The following pages link to A simple algebraic proof of the equational interpolation theorem (Q1173754):
Displaying 18 items.
- An axiomatic approach to structuring specifications (Q428861) (← links)
- Craig interpolation for networks of sentences (Q435205) (← links)
- An institution-independent proof of the Robinson consistency theorem (Q878156) (← links)
- A semantic approach to interpolation (Q1006639) (← links)
- Interpolation in computing science: The semantics of modularization (Q1024120) (← links)
- Interpolation in Grothendieck institutions (Q1884940) (← links)
- Category-based modularisation for equational logic programming (Q1901708) (← links)
- Generalised graded interpolation (Q2105608) (← links)
- The institution-theoretic scope of logic theorems (Q2254570) (← links)
- Interpolation for predefined types (Q3225735) (← links)
- Abstract Beth definability in institutions (Q3410686) (← links)
- Interpolation in conditional equational logic (Q3982061) (← links)
- (Q4520823) (← links)
- Interpolation and compactness in categories of pre-institutions (Q4715675) (← links)
- Three interpolation theorems for typeless logics (Q4913997) (← links)
- An introduction to category-based equational logic (Q5096381) (← links)
- Property-oriented semantics of structured specifications (Q5740355) (← links)
- Equational axiomatizability for coalgebra (Q5941166) (← links)