Journal or Book Title
Transactions of the American Mathematical Society
A variety of universal algebras is called deductive if every subquasivariety is a variety. The following results are obtained: (1) The variety of modules of an Artinian ring is deductive if and only if the ring is the direct sum of matrix rings over local rings, in which the maximal ideal is principal as a left and right ideal. (2) A directly representable variety of finite type is deductive if an only if either (i) it is equationally complete, or (ii) every algebra has an idempotent element, and a ring constructed from the variety is of the form (1) above.
American Mathematical Society
Hogben, Leslie and Bergman, Clifford, "Deductive Varieties of Modules and Universal Algebras" (1985). Mathematics Publications. 1.