Mechanized HOL Reasoning in Set Theory.
Simon GuilloudSankalp GambhirAndrea GilotViktor KuncakPublished in: CoRR (2024)
Keyphrases
- set theory
- model checker
- first order logic
- partial order
- fuzzy set theory
- rough set theory
- theorem prover
- algebraic geometry
- rough sets
- knowledge representation
- knowledge base
- fuzzy sets
- mathematical morphology
- theorem proving
- description logics
- real time
- image analysis
- probability theory
- natural deduction
- image enhancement
- morphological operations
- pattern recognition
- decision making
- computer vision
- databases