Thumbnail - No thumbnail

On equational definability of function classes

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
24
Number
1-4
Publisher
Old City Publishing
Pages
203-222
Metadata
Show full item record
Author(s)
Waldhauser, Tamás
Lehtonen, Erkko cc
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