Non-definability of languages by generalized first-order formulas over (N,+)
Andreas KrebsA. V. SreejithPublished in: CoRR (2012)
Keyphrases
- first order logic
- expressive power
- horn clauses
- finite model theory
- propositional logic
- predicate calculus
- relational calculus
- higher order
- real numbers
- fixed point
- language independent
- action theories
- quantifier free
- relational algebra
- target language
- grammatical inference
- mathematical formulas
- quantifier elimination
- finitely representable
- inference rules
- database theory
- context free
- propositional formulas
- database