Monotonically Computable Real Numbers.

Robert Rettinger Xizhong Zheng Romain Gengler Burchard von Braunmühl

Published in: Math. Log. Q. (2002)

Keyphrases

real numbers
arithmetic operations
fuzzy numbers
interval arithmetic
constraint solver
finite sets
ordered fuzzy numbers
pattern recognition
real time
data model
linear inequalities
decreasing function
databases
artificial neural networks
quantifier free