Another proof that \(ISP_ r(K)\) is the least quasivariety containing K (Q795076)

It is well-known that if q(K) denotes the least quasi-variety containing a given class of similar algebras then \(q(K)=ISP_ r(K)\quad or\quad q(K)=ISPP_ U(K).\) The former result was proved by Mal'cev in 1966, the latter by Grätzer and Lasker in 1973. The authors give a new proof of these results with a method borrowed from propositional logic.