Login / Signup
Using Metavariables in Natural Deduction Proofs.
T. Clement
Published in:
Refine (1992)
Keyphrases
</>
natural deduction
theorem prover
inference rules
cut elimination
theorem proving
sequent calculus
intuitionistic logic
linear time temporal logic
learning algorithm
feature space
linear logic
expert systems
first order logic
desirable properties