PNL to HOL: from the logic of nominal sets to the logic of higher-order functions.

Gilles Dowek Murdoch James Gabbay

Published in: CoRR (2023)

Keyphrases

higher order
higher order logic
multi valued
natural deduction
logic programming
proof theory
modal logic
truth values
automated reasoning
theorem prover
lambda calculus
asynchronous circuits
predicate logic
conditional logic
classical logic
inference rules
high order
conditional random fields
natural images