Lifting Proof Theory to the Countable Ordinals: Zermelo-Fraenkel Set Theory.
Toshiyasu AraiPublished in: J. Symb. Log. (2014)
Keyphrases
- proof theory
- set theory
- default reasoning
- partial order
- first order logic
- automated reasoning
- fuzzy set theory
- rough sets
- rough set theory
- fuzzy sets
- probabilistic reasoning
- reasoning problems
- knowledge representation
- description logics
- mathematical morphology
- theorem proving
- probability theory
- probability distribution
- knowledge discovery
- default logic
- neural network
- multi dimensional