Kripke-Platek Set Theory and the Anti-Foundation Axiom.
Michael RathjenPublished in: Math. Log. Q. (2001)
Keyphrases
- set theory
- inference rules
- modal logic
- first order logic
- temporal logic
- probability theory
- partial order
- algebraic geometry
- fuzzy set theory
- desirable properties
- rough sets
- mathematical morphology
- model checking
- propositional logic
- knowledge representation
- rough set theory
- image processing
- computational intelligence
- morphological operations
- pattern recognition
- neural network