Prefer a chat interface with context about you and your work?
Closed sets of universal Horn formulas for many-sorted (partial) algebras