The Ordered Field of Real Numbers and Logics with Malitz Quantifiers.

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

Keyphrases

real numbers
linear inequalities
fuzzy numbers
arithmetic operations
interval arithmetic
expressive power
constraint solver
artificial intelligence
natural language
first order logic
closed loop
modal logic
partially ordered