Login / Signup
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