Pages that link to "Item:Q1607048"
From MaRDI portal
The following pages link to On a generalized modularization theorem (Q1607048):
Displayed 7 items.
- 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)
- On local modularity and interpolation in entailment systems. (Q1853014) (← links)
- Interpolation in Grothendieck institutions (Q1884940) (← links)
- Abstract Beth definability in institutions (Q3410686) (← links)