On sigma-definability without equality over the real numbers.

Andrei S. Morozov Margarita V. Korovina

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

Keyphrases

real numbers
fixed point
propositional logic
fuzzy numbers
interval arithmetic
ordered fuzzy numbers
arithmetic operations
linear inequalities
real time
neural network
machine learning
database systems
constraint solver
computational intelligence
database query languages