Polynomial Functions Over Bounded Distributive Lattices
Miguel Couceiro and Jean-Luc Marichal
Let L be a bounded distributive lattice. We give several characterizations of those Ln → L mappings that are polynomial functions, i.e., functions which can be obtained from projections and constant functions using binary joins and meets. Moreover, we discuss the disjunctive normal form representations of these polynomial functions.
Keywords: Distributive lattice; polynomial function; normal form; functional equation