Pages that link to "Item:Q1607048"
From MaRDI portal
The following pages link to On a generalized modularization theorem (Q1607048):
Displaying 22 items.
- An axiomatic approach to structuring specifications (Q428861) (← links)
- Generalized interpolation in CASL (Q851912) (← 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)
- Interpolation in computing science: The semantics of modularization (Q1024120) (← links)
- On what exactly goes on when software is developed step-by-step. II: The sequel (Q1028976) (← links)
- On the lightness of the mappings satisfying generalized inverse modular inequalities (Q1617931) (← links)
- Generalization of the \(lq\)-modular closure theorem and applications (Q1737355) (← links)
- On local modularity and interpolation in entailment systems. (Q1853014) (← links)
- Interpolation in Grothendieck institutions (Q1884940) (← links)
- On modular invariance and rigidity theorems (Q1891965) (← links)
- Generalised graded interpolation (Q2105608) (← links)
- The institution-theoretic scope of logic theorems (Q2254570) (← links)
- On the universal Burnside module (Q2467084) (← links)
- Two extension theorems. Modular functions on complemented lattices (Q3151376) (← links)
- Interpolation for predefined types (Q3225735) (← links)
- Abstract Beth definability in institutions (Q3410686) (← links)
- (Q5235882) (← links)
- (Q5403288) (← links)
- Mod 2 degree and a generalized No Retraction Theorem (Q5467035) (← links)
- (Heterogeneous) structured specifications in logics without interpolation (Q6599623) (← links)
