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
theorem proving
sequent calculus
high level
linear logic
data sets
neural network
machine learning
knowledge base
first order logic
semantic description
intuitionistic logic
linear time temporal logic