The following pages link to (Q4520823):
Displaying 5 items.
- An institution-independent proof of the Robinson consistency theorem (Q878156) (← links)
- A semantic approach to interpolation (Q1006639) (← links)
- On a generalized modularization theorem (Q1607048) (← links)
- The Foundational Legacy of ASL (Q5256352) (← links)
- (Heterogeneous) structured specifications in logics without interpolation (Q6599623) (← links)