Complexity of terms, composition, and hypersubstitution.
We investigate the interval in the lattice of clones on the ring between the clone of polynomial operations and the clone of congruence preserving operations. All clones in this interval are known and described by means of generators. In this paper, we characterize each of these clones by the property of preserving a small set of relations. These relations turn out to be in a close connection to commutators.
We generalize the correspondence between basic algebras and lattices with section antitone involutions to a more general case where no lattice properties are assumed. These algebras are called conjugated if this correspondence is one-to-one. We get conditions for the conjugary of such algebras and introduce the induced relation. Necessary and sufficient conditions are given to indicated when the induced relation is a quasiorder which has “nice properties", e.g. the unary operations are antitone...
We prove that an order algebra assigned to a bounded poset with involution is a discriminator algebra.
The theory of discriminator algebras and varieties has been investigated extensively, and provides us with a wealth of information and techniques applicable to specific examples of such algebras and varieties. Here we give several such examples for Boolean algebras with a residuated binary operator, abbreviated as r-algebras. More specifically, we show that all finite r-algebras, all integral r-algebras, all unital r-algebras with finitely many elements below the unit, and all commutative residuated...
Given an n-ary k-valued function f, gap(f) denotes the essential arity gap of f which is the minimal number of essential variables in f which become fictive when identifying any two distinct essential variables in f. In the present paper we study the properties of the symmetric function with non-trivial arity gap (2 ≤ gap(f)). We prove several results concerning decomposition of the symmetric functions with non-trivial arity gap with its minors or subfunctions. We show that all non-empty sets of...