Free \(Q\)-distributive lattice over an \(n\)-element chain (Q1430627)

A \(Q\)-distributive lattice is an algebra \((A,\vee, \wedge,0,1,\nabla)\) such that \((A,\vee, \wedge,0,1)\) is a bounded distributive lattice and \(\nabla\) is a unary operation satisfying the laws \[ \nabla 0= 0,\;x\leq\nabla x,\;\nabla(x\wedge\nabla y)= \nabla x\wedge\nabla y,\;\nabla(x\vee y)= \nabla x\vee\nabla y. \] The paper provides an explicit construction (different from earlier ones) of the free \(Q\)-distributive lattice \(FQ({\mathbf n})\) over an \(n\)-element chain. Furthermore, it is proved that \(FQ({\mathbf n})\) can be expanded to a de Morgan algebra