Pages that link to "Item:Q1350924"
From MaRDI portal
The following pages link to On pushout consistency, modularity and interpolation for logical specifications (Q1350924):
Displaying 10 items.
- On methods for safe introduction of operations (Q293132) (← links)
- An axiomatic approach to structuring specifications (Q428861) (← 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)
- 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)
- A New, Simpler Proof of the Modularisation Theorem for Logical Specifications (Q4291868) (← links)