. . . . "Its implications will be of interest to researchers in logic, philosophy, and computer science, particularly artificial intelligence." . .