An Institution-Independent Proof of the Robinson Consistency Theorem.

Daniel Gâinâ Andrei Popescu

Published in: Stud Logica (2007)

Keyphrases

interactive theorem proving
consistency checking
von neumann
global consistency
machine learning
artificial intelligence
search space
cost function
constraint satisfaction problems
constraint networks
linear logic
set intersection
mathematical proofs