Uniform Proofs and Natural Deduction.

Roy Dyckhoff Luís Pinto

Published in: ICLP Workshop: Proof-Theoretical Extensions on Logic Programming (1994)

Keyphrases

natural deduction
theorem prover
inference rules
cut elimination
sequent calculus
theorem proving
intuitionistic logic
linear time temporal logic
automated reasoning
linear logic
desirable properties
modal logic
sufficient conditions
general purpose
formal proof
high level
artificial intelligence