PNL to HOL: From the logic of nominal sets to the logic of higher-order functions.
Gilles DowekMurdoch James GabbayPublished in: Theor. Comput. Sci. (2012)
Keyphrases
- higher order
- higher order logic
- natural deduction
- lambda calculus
- neural network
- logic programming
- classical logic
- automated reasoning
- sound and complete axiomatization
- proof theory
- multi valued
- modal logic
- pairwise
- logical framework
- computational properties
- theorem prover
- high order
- theorem proving
- low order
- conditional logic
- predicate logic
- truth values
- formal theory
- asynchronous circuits
- logic programs