Remarks on descriptions and natural deduction.

Richard Montague Donald Kalish

Published in: Arch. Math. Log. (1957)

Keyphrases

natural deduction
theorem prover
inference rules
cut elimination
sequent calculus
intuitionistic logic
high level
theorem proving
linear logic
linear time temporal logic
expert systems
automated reasoning
semantic description
natural language descriptions
neural network
pairwise