Polymorphism and the obstinate Circularity of second order Logic: a Victims' Tale.
Paolo PistonePublished in: Bull. Symb. Log. (2018)
Keyphrases
- higher order
- modal logic
- logic programming
- automated reasoning
- multi valued
- classical logic
- directional derivatives
- hessian matrix
- probabilistic logic
- computational properties
- nonmonotonic logics
- asynchronous circuits
- emergency situations
- data sets
- truth values
- predicate logic
- high order
- database systems
- neural network