Zermelo Fraenkel Set Theory in Higher-Order Logic.
Lawrence C. PaulsonPublished in: Arch. Formal Proofs (2019)
Keyphrases
- set theory
- higher order logic
- higher order
- theorem prover
- first order logic
- conditional logic
- partial order
- default reasoning
- logical framework
- fuzzy sets
- fuzzy set theory
- rough sets
- mathematical morphology
- rough set theory
- algebraic geometry
- belief revision
- probability theory
- data representation
- knowledge representation
- pattern recognition
- multiscale
- fuzzy logic
- automated reasoning
- reasoning tasks
- pairwise
- artificial intelligence
- machine learning