The following pages link to (Q3677149):
Displaying 6 items.
- Theories with the independence property (Q993495) (← links)
- On the existence of free models in abstract algebraic institutions (Q1085969) (← links)
- Quasi-varieties in abstract algebraic institutions (Q1091132) (← links)
- On the expressive power of data dependencies (Q1822528) (← links)
- A sound and complete semantics for a version of negation as failure (Q1824413) (← links)
- A general Lindström theorem for some normal modal logics (Q2392014) (← links)