Automated Deduction in Multiple-valued Logics

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