Negation and Proof by Contradiction in Access-Limited Logic.
James M. CrawfordBenjamin KuipersPublished in: AAAI (1991)
Keyphrases
- logic programming
- proof theory
- predicate logic
- proof theoretic
- linear logic
- theorem prover
- proof search
- natural deduction
- logic programs
- automated reasoning
- classical logic
- truth values
- modal logic
- derivation rules
- fixpoint
- classical first order logic
- remote access
- data model
- random access
- horn clauses
- multi valued
- deductive databases
- defeasible logic
- proof procedure
- default reasoning
- theorem proving
- cut elimination
- answer set programming
- databases
- sequent calculi