Bitcoin is a peer to peer electronic payment system where payment transactions are stored
in a data structure named the blockchain which is maintained by a community of …

Analogical proportions are 4-ary relations that read “A is to B as C is to D”. Recent works
have highlighted the fact that such relations can support a specific form of inference, called …

Świerczkowski's lemma–as it is usually formulated–asserts that if f: An→ A is an operation
on a finite set A, n≥ 4, and every operation obtained from f by identifying a pair of variables …

We study the arity gap of functions of several variables defined on an arbitrary set A and
valued in another set B. The arity gap of such a function is the minimum decrease in the …

We find sufficient conditions for a subclone C of Burle's clone and for a subclone of the
polynomial clone of a finite semimodule to have the property that the associated C-minor …

Each clone C on a fixed base set A induces a quasi-order on the set of all operations on A
by the following rule: f is a C-minor of g if f can be obtained by substituting operations from C …

Extending Sparks's theorem, we determine the cardinality of the lattice of $(C_1, C_2) $-
clonoids of Boolean functions for certain pairs $(C_1, C_2) $ of clones of essentially unary …

Extending Sparks's theorem, we determine the cardinality of the lattice of $(C_1, C_2) $-
clonoids of Boolean functions in the cases where the target clone $ C_2 $ is the clone of …

The arity gap of a function of several variables is defined as the minimum decrease in the
number of essential variables when essential variables of the function are identified. We …

We formulate a reconstruction problem for functions of several arguments: Is a function of
several arguments uniquely determined, up to equivalence, by its identification minors? We …