A syntactic soundness proof for free-variable tableaux with on-the-fly Skolemization.

Richard Bonichon Olivier Hermant

Published in: CoRR (2015)

Keyphrases

decision procedures
sequent calculi
functional dependencies
modal logic
theorem proving
theorem prover
natural language
semantic role labeling
linear logic
real time
feature selection
database
automated reasoning
semantic representation
data mining
proof procedure
syntactic semantic