Adding an Abstraction Barrier to ZF Set Theory.
Ciarán DunneJ. B. WellsFairouz KamareddinePublished in: CoRR (2020)
Keyphrases
- set theory
- partial order
- fuzzy set theory
- first order logic
- rough sets
- algebraic geometry
- rough set theory
- mathematical morphology
- fuzzy sets
- probability theory
- pattern recognition
- description logics
- graphical models
- real time
- case based reasoning
- fuzzy logic
- data structure
- multiscale
- knowledge base
- real world
- neural network