Axiomatizations of arithmetic and the first-order/second-order divide.
Catarina Dutilh NovaesPublished in: Synth. (2019)
Keyphrases
- higher order
- first order logic
- quantifier free
- conditional logic
- high order
- decision procedures
- stochastic dominance
- database
- quantifier elimination
- data sets
- information systems
- fourth order
- artificial intelligence
- floating point
- default reasoning
- arithmetic operations
- term rewriting
- directional derivatives
- rewrite systems