Δ-core Fuzzy Logics with Propositional Quantifiers, Quantifier Elimination and Uniform Craig Interpolation.
Franco MontagnaPublished in: Stud Logica (2012)
Keyphrases
- quantifier elimination
- first order logic
- expressive power
- inference rules
- presburger arithmetic
- transitive closure
- knowledge representation
- theorem proving
- fuzzy sets
- set theory
- fuzzy numbers
- constraint databases
- constraint propagation
- functional programming
- data management
- database
- np hard
- cardinality constraints
- knowledge base
- artificial intelligence