A Version of Kripke-Platek Set Theory which is Conservative over Peano Arithmetic.

Published in: Math. Log. Q. (1984)

Keyphrases

set theory
fuzzy set theory
partial order
first order logic
inference rules
temporal logic
rough sets
rough set theory
fuzzy sets
mathematical morphology
algebraic geometry
desirable properties
modal logic
probability theory
x ray
morphological operations
data mining
neural network
medical images