Cumulative Higher-Order Logic as a Foundation for Set Theory.
Wolfgang DegenJan JohannsenPublished in: Math. Log. Q. (2000)
Keyphrases
- set theory
- higher order logic
- higher order
- theorem prover
- first order logic
- fuzzy set theory
- logical framework
- conditional logic
- partial order
- mathematical morphology
- fuzzy sets
- rough sets
- rough set theory
- algebraic geometry
- natural language
- decision rules
- description logics
- belief revision
- gray scale
- inference rules
- logic programming
- knowledge representation
- feature extraction
- image processing
- artificial intelligence