Combining Higher-Order Logic with Set Theory Formalizations.
Cezary KaliszykKarol PakPublished in: J. Autom. Reason. (2023)
Keyphrases
- set theory
- higher order logic
- higher order
- partial order
- first order logic
- theorem prover
- logical framework
- rough set theory
- fuzzy set theory
- conditional logic
- rough sets
- mathematical morphology
- probability theory
- fuzzy sets
- knowledge discovery
- inference rules
- belief revision
- temporal logic
- pattern recognition
- default reasoning
- fuzzy logic
- image analysis
- data analysis