The following pages link to Grothendieck institutions (Q698051):
Displaying 19 items.
- Grothendieck inclusion systems (Q657588) (← links)
- Categorical abstract algebraic logic: \((\ell,N)\)-algebraic systems (Q816651) (← links)
- A semantic approach to interpolation (Q1006639) (← links)
- Topological systems as a framework for institutions (Q1677937) (← links)
- Interpolation in Grothendieck institutions (Q1884940) (← links)
- Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design (Q1931353) (← links)
- Towards a functional approach to modular ontologies using institutions (Q2016068) (← links)
- Generalised graded interpolation (Q2105608) (← links)
- Introducing \(H\), an institution-based formal specification and verification language (Q2183716) (← links)
- On fuzzification of topological categories (Q2351594) (← links)
- Comorphisms of structured institutions (Q2445331) (← links)
- Generalized Theoroidal Institution Comorphisms (Q3184726) (← links)
- Heterogeneous Logical Environments for Distributed Specifications (Q3184737) (← links)
- Towards an Institutional Framework for Heterogeneous Formal Development in UML (Q5256350) (← links)
- A logical framework combining model and proof theory (Q5400853) (← links)
- Parchments for CafeOBJ Logics (Q5403068) (← links)
- Hybridisation of Institutions in HETS (Tool Paper). (Q5875358) (← links)
- Preservation in many-valued truth institutions (Q6083145) (← links)
- (Heterogeneous) structured specifications in logics without interpolation (Q6599623) (← links)
