Foundation Versus Induction in Kripke-Platek Set Theory.
Domenico ZambellaPublished in: J. Symb. Log. (1998)
Keyphrases
- set theory
- first order logic
- fuzzy set theory
- inference rules
- partial order
- temporal logic
- rough sets
- modal logic
- mathematical morphology
- rough set theory
- fuzzy sets
- algebraic geometry
- desirable properties
- model checking
- cooperative
- image processing
- probability theory
- information retrieval
- neural network
- medical images
- computational intelligence
- fuzzy logic
- probability distribution
- control system
- expert systems
- artificial intelligence