Calculus of Classical Proofs I.

Ken-etsu Fujita

Published in: ASIAN (1997)

Keyphrases

natural deduction
theorem prover
sequent calculus
theorem proving
proof search
cut elimination
automated theorem proving
databases
real world
artificial intelligence
information systems
hidden markov models
inference rules
linear logic
formal proofs
equational theories