Two Theorems About the Completeness of Hoare's Logic.
Jan A. BergstraJohn V. TuckerPublished in: Inf. Process. Lett. (1982)
Keyphrases
- classical logic
- cut elimination
- logic programming
- proof search
- sequent calculus
- modal logic
- linear logic
- deontic logic
- artificial intelligence
- probability theory
- theorem proving
- inference rules
- formal language
- data quality
- expert systems
- proof theory
- similarity measure
- decision trees
- database
- sound and complete axiomatization