Lattices with a third distributive operation
Ján Jakubík, Milan Kolibiar · Czech digital mathematics library · 1977
JAN JAKUBIK-MILAN KOLIBIAR Preliminaries Two binary operations o and * in a set M are said to be mutually distributive (or the operation o is distributive with the operation *) if for each a, b, ceM, ao(b*c) = (aob)*(aoc), a*(b Q c) = (a*b)o(a*c).