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) |
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