Experiments with ZF Set Theory in HOL and Isabelle.
Sten AgerholmMichael J. C. GordonPublished in: TPHOLs (1995)
Keyphrases
- set theory
- theorem prover
- first order logic
- natural deduction
- inference rules
- theorem proving
- propositional logic
- knowledge representation
- partial order
- model checker
- fuzzy set theory
- probability theory
- rough set theory
- fuzzy sets
- mathematical morphology
- algebraic geometry
- neural network
- modal logic
- rough sets
- image segmentation
- computational intelligence
- probability distribution
- association rules
- pattern recognition
- decision making
- artificial intelligence