Relation formulas for protoalgebraic equality free quasivarieties; Pałasińska's theorem revisited (Q368481)

Following a remarkable theorem of Katarzyna Pałasińska: Every finitely generated protoalgebraic relation distributive equality free quasivariety is finitely axiomatizable, by applying the technique of definable principal Q-subrelations, the authors provide a new proof of this theorem. (Much effort was made by Blok, Pigozzi and Czelakowski to prove finite axiomatization results for deductive systems before Pałasińska obtained her theorem!)