The equivalence of tautological and "strict" entailment: Proof of an amended conjecture of Lewy's.
Michael ClarkPublished in: J. Philos. Log. (1980)
Keyphrases
- logic programming
- theorem prover
- databases
- data mining
- np complete
- theorem proving
- recognizing textual entailment
- probabilistic logic
- information systems
- knowledge base
- database
- decision procedures
- linear logic
- logical rules
- machine learning
- complete axiomatization
- mathematical proofs
- default reasoning from conditional knowledge bases