Quantifier Elimination and Other Model-Theoretic Properties of BL-Algebras.
Tommaso CortonesiEnrico MarchioniFranco MontagnaPublished in: Notre Dame J. Formal Log. (2011)
Keyphrases
- presburger arithmetic
- quantifier elimination
- model theoretic
- algebraic structure
- constraint propagation
- cardinality constraints
- constraint databases
- functional programming
- first order logic
- decision procedures
- deductive databases
- operational semantics
- databases
- database design
- temporal logic
- database
- logic programs
- description logics
- database systems