Automated Deduction in Multiple-valued Logics
| Author | : Reiner Hähnle |
| Publisher | : |
| Total Pages | : 192 |
| Release | : 1993 |
| ISBN-10 | : UOM:39015032761515 |
| ISBN-13 | : |
| Rating | : 4/5 ( Downloads) |
Book Synopsis Automated Deduction in Multiple-valued Logics by : Reiner Hähnle
Download or read book Automated Deduction in Multiple-valued Logics written by Reiner Hähnle and published by . This book was released on 1993 with total page 192 pages. Available in PDF, EPUB and Kindle. Book excerpt: A notation called sets-as-signs is developed, and then it is demonstrated how it can be used to modify any known inference method to handle many-valued logics. Applications are discussed, both in pure mathematics, and in hardware verification and interval arithmetic. Concludes with a historical overview of activities in many-valued theorem proving. Annotation copyright by Book News, Inc., Portland, OR
