A semantical proof of De Jongh's theorem.

Jaap van Oosten

Published in: Arch. Math. Log. (1991)

Keyphrases

interactive theorem proving
linear logic
theorem prover
theorem proving
artificial intelligence
special case
proof theory
intuitionistic logic
real time
neural network
machine learning
image segmentation
proof search