Expansions of the Ordered additive Group of Real numbers by two discrete Subgroups.

Philipp Hieronymi

Published in: J. Symb. Log. (2016)

Keyphrases

real numbers
fuzzy numbers
arithmetic operations
interval arithmetic
linear inequalities
group members
genetic algorithm
constraint solver
real world
artificial intelligence
data analysis
quantifier free