Tree proofs for syllogistic.

Peter M. Simons

Published in: Stud Logica (1989)

Keyphrases

theorem proving
tree structure
tree structures
decision procedures
index structure
data sets
theorem prover
r tree
tree models
tree construction
binary tree
mental models
hierarchical structure
social networks
artificial intelligence
information retrieval
neural network