The following pages link to (Q3776610):
Displayed 13 items.
- Generalized interpolation in CASL (Q851912) (← links)
- An institution-independent proof of the Robinson consistency theorem (Q878156) (← links)
- Saturated models in institutions (Q992038) (← links)
- Some fundamental algebraic tools for the semantics of computation. III: Indexed categories (Q1183597) (← links)
- Structured theory presentations and logic representations (Q1326777) (← links)
- On local modularity variants and \(\Pi\)-institutions (Q1603411) (← links)
- On a generalized modularization theorem (Q1607048) (← links)
- On local modularity and interpolation in entailment systems. (Q1853014) (← links)
- Logical systems for structured specifications. (Q1853454) (← links)
- Interpolation in Grothendieck institutions (Q1884940) (← links)
- Category-based modularisation for equational logic programming (Q1901708) (← links)
- Ultraproducts and possible worlds semantics in institutions (Q2373712) (← links)
- Stratified institutions and elementary homomorphisms (Q2379932) (← links)