Syntactical Truth Predicates For Second Order Arithmetic.
Loïc ColsonSerge GrigorieffPublished in: J. Symb. Log. (2001)
Keyphrases
- quantifier free
- function symbols
- higher order
- first order logic
- horn clauses
- user defined
- high order
- quantifier elimination
- hessian matrix
- symmetry breaking
- floating point
- database
- website
- real world
- databases
- desirable properties
- cellular automata
- natural language text
- case study
- datalog programs
- truth values
- information systems
- machine learning