Experiments with an Automatic Theorem-Prover Having Partial Ordering Inference Rules.
James R. SlagleLewis M. NortonPublished in: Commun. ACM (1973)
Keyphrases
- inference rules
- theorem prover
- partial ordering
- theorem proving
- first order logic
- total ordering
- automated theorem proving
- logical framework
- natural deduction
- term rewriting
- partial order
- modal logic
- partially ordered
- fixed number
- sequent calculus
- formal proof
- formal semantics
- proof search
- conditional probabilities
- scoring function
- search algorithm
- random variables