Pages that link to "Item:Q1876090"
From MaRDI portal
The following pages link to An institution-independent proof of Craig interpolation theorem (Q1876090):
Displaying 5 items.
- An axiomatic approach to structuring specifications (Q428861) (← links)
- On the algebra of structured specifications (Q549182) (← links)
- Categorical abstract algebraic logic: \((\ell,N)\)-algebraic systems (Q816651) (← links)
- Remarks on classifications and adjunctions (Q861977) (← links)
- An institution-independent proof of the Robinson consistency theorem (Q878156) (← links)
