Login / Signup
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