On Adopting Kripke Semantics in Set Theory.

Published in: Rev. Symb. Log. (2008)

Keyphrases

set theory
fuzzy set theory
partial order
first order logic
inference rules
algebraic geometry
rough sets
desirable properties
temporal logic
rough set theory
mathematical morphology
fuzzy sets
model checking
image processing
databases
multiscale
neural network