Transforming Matings into Natural Deduction Proofs.

Peter B. Andrews

Published in: CADE (1980)

Keyphrases

natural deduction
theorem prover
inference rules
cut elimination
sequent calculus
theorem proving
intuitionistic logic
linear logic
linear time temporal logic
pairwise
object oriented
fixed point