Implication Details
Assumptions: finitary algebraic
Conclusions: locally strongly finitely presentable
Reason: This is trivial because a locally strongly finitely presentable category is a variety of many-sorted finitary algebras.
Assumptions: finitary algebraic
Conclusions: locally strongly finitely presentable
Reason: This is trivial because a locally strongly finitely presentable category is a variety of many-sorted finitary algebras.