06D30 - Order, lattices, ordered algebraic structures :: Distributive lattices :: De Morgan algebras, Lukasiewicz algebras