A Calculus Supporting Structured Proofs.
Bernd I. DahnAndreas WolfPublished in: J. Inf. Process. Cybern. (1994)
Keyphrases
- natural deduction
- sequent calculus
- proof search
- cut elimination
- computer algebra
- automated theorem proving
- structured data
- inference rules
- theorem proving
- theorem prover
- linear logic
- automated theorem provers
- formal proofs
- evolutionary algorithm
- expert systems
- website
- hidden markov models
- digital libraries
- data structure
- image sequences
- databases