A constructive proof of Skolem theorem for constructive logic.

Gilles Dowek Benjamin Werner

Published in: CoRR (2023)

Keyphrases

proof theory
real world
expert systems
first order logic
logical framework
interactive theorem proving
data sets
neural network
database systems
modal logic
theorem prover
linear logic
proof search