Login / Signup
An elementary completeness proof for a system of natural deduction.
David W. Bennett
Published in:
Notre Dame J. Formal Log. (1973)
Keyphrases
</>
natural deduction
theorem prover
inference rules
cut elimination
sequent calculus
theorem proving
intuitionistic logic
data quality
linear logic
machine learning
probabilistic model
general purpose
markov random field
automated reasoning
logical framework
linear time temporal logic