Power Kripke-Platek set theory and the axiom of choice.
Michael RathjenPublished in: J. Log. Comput. (2020)
Keyphrases
- set theory
- inference rules
- modal logic
- first order logic
- partial order
- probability theory
- fuzzy set theory
- temporal logic
- rough sets
- mathematical morphology
- rough set theory
- algebraic geometry
- desirable properties
- model checking
- fuzzy sets
- power consumption
- morphological operations
- data mining
- real world
- fuzzy logic
- data streams
- feature extraction
- decision making
- real time