Ordinal arithmetic based on Skolem hulling.

Published in: Ann. Pure Appl. Log. (2007)

Keyphrases

first order logic
arithmetic operations
ordinal scale
genetic algorithm
search algorithm
expert systems
qualitative decision theory