Pages that link to "Item:Q4659504"
From MaRDI portal
The following pages link to Elementary Diagrams in Institutions (Q4659504):
Displaying 17 items.
- Functorial semantics of first-order views (Q344796) (← links)
- Parameterisation for abstract structured specifications (Q387996) (← links)
- Foundations for structuring behavioural specifications (Q406465) (← links)
- An axiomatic approach to structuring specifications (Q428861) (← links)
- On the algebra of structured specifications (Q549182) (← links)
- Grothendieck inclusion systems (Q657588) (← links)
- An institution-independent proof of the Robinson consistency theorem (Q878156) (← links)
- Saturated models in institutions (Q992038) (← links)
- Generalised graded interpolation (Q2105608) (← links)
- Forcing, downward Löwenheim-Skolem and omitting types theorems, institutionally (Q2254574) (← links)
- Foundations of logic programming in hybrid logics with user-defined sharing (Q2358621) (← links)
- Ultraproducts and possible worlds semantics in institutions (Q2373712) (← links)
- Interpolation for predefined types (Q3225735) (← links)
- Abstract Beth definability in institutions (Q3410686) (← links)
- Abstract categorical logic (Q6043096) (← links)
- Preservation in many-valued truth institutions (Q6083145) (← links)
- Partialising institutions (Q6185812) (← links)