The following pages link to Borrowing interpolation (Q2893323):
Displaying 10 items.
- May I borrow your logic? (Transporting logical structures along maps) (Q1391728) (← links)
- Birkhoff style calculi for hybrid logics (Q1682285) (← links)
- An institution-independent proof of Craig interpolation theorem (Q1876090) (← links)
- Interpolation in Grothendieck institutions (Q1884940) (← links)
- Interpolation in logics with constructors (Q1944775) (← links)
- Generalised graded interpolation (Q2105608) (← links)
- The institution-theoretic scope of logic theorems (Q2254570) (← links)
- Comorphisms of structured institutions (Q2445331) (← links)
- Combinatorics of $\lambda$-terms: a natural approach (Q3133181) (← links)
- Encoding hybridized institutions into first-order logic (Q5741578) (← links)