Our purpose is to introduce the W-composition, W-minimalization and W-primitive recursion operations as operations between W-valued functions, where W denotes the ordered semiring ([0,1],+,≤). We prove that: 1) the set of W-calculable functions is closed under the W-composition and W-primitice recursion operations, and 2) the set of the partially W-calculable functions is closed under the W-minimalization operation.
@article{urn:eudml:doc:38890,
title = {Una introducci\'on a la W-calculabilidad: Operaciones b\'asicas.},
journal = {Stochastica},
volume = {7},
year = {1983},
pages = {111-135},
zbl = {0557.03026},
mrnumber = {MR0766695},
language = {es},
url = {http://dml.mathdoc.fr/item/urn:eudml:doc:38890}
}
Clares Rodríguez, Buenaventura. Una introducción a la W-calculabilidad: Operaciones básicas.. Stochastica, Tome 7 (1983) pp. 111-135. http://gdmltest.u-ga.fr/item/urn:eudml:doc:38890/