On equational definability of function classes

Waldhauser, Tamás; Lehtonen, Erkko; Couceiro, Miguel

Waldhauser, Tamás; Lehtonen, Erkko; Couceiro, Miguel (2015), On equational definability of function classes, Journal of Multiple-Valued Logic and Soft Computing, 24, 1-4, p. 203-222

Type

Article accepté pour publication ou publié

External document link

https://hal.archives-ouvertes.fr/hal-01093668

Date

2015

Journal name

Journal of Multiple-Valued Logic and Soft Computing

Volume

Number

1-4

Publisher

Old City Publishing

Pages

203-222

Metadata

Show full item record

Author(s)

Waldhauser, Tamás
Lehtonen, Erkko

Couceiro, Miguel

Abstract (EN)

We propose a notion of functional equation for functions of fixed arity, which is based on a pair of clones. We present necessary conditions for a class of functions to be definable by such equations, and show that for certain choices of clones these conditions are also sufficient.

Subjects / Keywords

Functional equation; clone; centralizer clones; equational definability