The Decision Problem for Restricted Universal Quantification in Set Theory and the Axiom of Foundation.
Franco ParlamentoAlberto PolicritiPublished in: Math. Log. Q. (1992)
Keyphrases
- decision problems
- set theory
- first order logic
- partial order
- optimal policy
- universal quantification
- computational complexity
- utility function
- rough sets
- fuzzy set theory
- inference rules
- rough set theory
- mathematical morphology
- np hard
- fuzzy sets
- databases
- modal logic
- relational algebra
- data mining
- query language
- temporal logic
- data analysis
- propositional logic
- pattern recognition
- probability theory
- sat problem
- search algorithm