Pages that link to "Item:Q1884940"
From MaRDI portal
The following pages link to Interpolation in Grothendieck institutions (Q1884940):
Displaying 10 items.
- An axiomatic approach to structuring specifications (Q428861) (← links)
- An institution-independent proof of the Robinson consistency theorem (Q878156) (← links)
- An institution-independent proof of the Beth definability theorem (Q995670) (← links)
- A semantic approach to interpolation (Q1006639) (← links)
- Towards a functional approach to modular ontologies using institutions (Q2016068) (← 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)
- CafeOBJ Traces (Q5403067) (← links)
