Some Remarks on Real Numbers Induced by First-Order Spectra.

Sune Kristian Jakobsen Jakob Grue Simonsen

Published in: Notre Dame J. Formal Log. (2016)

Keyphrases

real numbers
quantifier free
interval arithmetic
arithmetic operations
fuzzy numbers
constraint solver
higher order
linear inequalities
neural network
computer vision
image processing
evolutionary algorithm
first order logic
fuzzy clustering
hyperspectral images
ordered fuzzy numbers