Some Applications of Positive Formulas in Descriptive Set Theory and Logic.
Stephen DyckPublished in: Ann. Pure Appl. Log. (1990)
Keyphrases
- set theory
- first order logic
- fuzzy set theory
- mathematical morphology
- rough sets
- partial order
- rough set theory
- fuzzy sets
- boolean algebra
- probability theory
- algebraic geometry
- model checker
- predicate calculus
- morphological operations
- horn clauses
- databases
- natural images
- description logics
- pattern recognition
- multiscale
- neural network
- real time