Some Results in Aczel-Feferman Logic and Set Theory.
Martin W. BunderPublished in: Math. Log. Q. (1982)
Keyphrases
- set theory
- first order logic
- partial order
- fuzzy set theory
- rough sets
- mathematical morphology
- boolean algebra
- model checker
- rough set theory
- fuzzy sets
- algebraic geometry
- probability theory
- real time
- propositional logic
- sequential patterns
- utility function
- image enhancement
- description logics
- decision making
- databases