Natural deduction and arbitrary objects.

Published in: J. Philos. Log. (1985)

Keyphrases

natural deduction
d objects
theorem prover
moving objects
theorem proving
logic programming
spatial relationships
multiple objects
relational structures