2 search results - page 1 / 1 » Reductio ad Absurdum: Planning Proofs by Contradiction |
BIRTHDAY
2006
Springer
14 years 2 months ago
2006
Springer
Sometimes it is pragmatically useful to prove a theorem by contradiction rather than finding a direct proof. Some reductio ad absurdum arguments have made mathematical history and ...
CORR
2008
Springer
13 years 11 months ago
2008
Springer
The Aristotelian syllogistic cannot account for the validity of certain inferences involving relational facts. In this paper, we investigate the prospects for providing a relationa...