Turing cones and set theory of the reals.

Published in: Arch. Math. Log. (2001)

Keyphrases

set theory
first order logic
fuzzy set theory
constraint databases
partial order
machine intelligence
rough sets
fuzzy sets
rough set theory
mathematical morphology
algebraic geometry
turing machine
propositional logic
probability theory
probability distribution
cooperative
decision making