Condensed Detachment is Complete for Relevance Logic: A Computer-Aided Proof.
Grigori MintsTanel TammetPublished in: J. Autom. Reason. (1991)
Keyphrases
- computer aided
- computer assisted
- proof theory
- computer aided diagnosis
- computer aided design
- linear logic
- proof theoretic
- image analysis
- natural deduction
- logical rules
- logic programming
- information retrieval
- diagnosis of breast cancer
- capsule endoscopy
- process planning
- prostate cancer
- modal logic
- image processing
- theorem prover