In this paper a restricted version of the Galois connection between poly-morphisms and invariants, called Pol . C Inv, is studied, where the invariant relations are restricted to so-called clausal relations. The lattice of all clones arising from this Ga-lois connection, so-called C-clones, is investigated up to equality of their unary parts, denominated C-monoids. All atoms and co-atoms in the lattice of all C-monoids are characterized.
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.