The following pages link to (Q4282590):
Displaying 6 items.
- Non-classical syllogistic inference and the method of resolution (Q1309330) (← links)
- Gentzen-type systems, resolution and tableaux (Q1311413) (← links)
- Resolution calculus for the first order linear logic (Q1314284) (← links)
- Weighting strategy for non-clausal resolution (Q3499018) (← links)
- (Q4312461) (← links)
- Completeness of Resolution for Definite Answers (Q4847378) (← links)