A Logic Covering Undefinedness in Program Proofs.
Howard BarringerJ. H. ChengCliff B. JonesPublished in: Acta Informatica (1984)
Keyphrases
- natural deduction
- cut elimination
- computer programs
- logic programming
- theorem prover
- computer algebra
- declarative semantics
- linear logic
- case study
- proof search
- sequent calculus
- classical logic
- logic programs
- automated theorem provers
- database
- asynchronous circuits
- program execution
- decision procedures
- multi valued
- automated reasoning
- inference rules
- modal logic
- search engine
- data sets