Modern Uses of Multiple-Valued Logic

این مجموعه ای از مقالات دعوت شده از کنفرانس بین المللی 1975 در منطق چند ارزشی است. همچنین فهرست کتابنامه ای گسترده از آثار در زمینه منطق چند ارزشی قبل از سال 1975 گنجانده شده است - این مکمل کتابشناسی قبلی آثار قبل از سال 1965، توسط نیکلاس رسیر در کتاب منطق بسیار ارزشمند، مک گراو هیل، 1969 است. دلایل احتمالی برای علاقه مندی به جلد حاضر وجود دارد. اول، طیف وسیعی از کاربردهای پوشش داده شده در این مجموعه مقالات را می توان به عنوان نشان دهنده وسعتی دانست که در حوزه منطق چند ارزشی به عنوان یک کل رخ می دهد - مقالات در اینجا چیزی جز پوشش یک نمونه کوچک نمی توانند انجام دهند: سوال- سیستم های پاسخگویی، تحلیل خطرات کامپیوتری، ساختارهای جبری مربوط به منطق چند ارزشی، جبر برنامه های کامپیوتری، مجموعه های فازی. دوم، بخش بزرگی از علاقه به چنین کاربردها و کاربردهایی در بیست و حتی ده سال گذشته رخ داده است. انتظار اینکه این موضوع در کتاب 1969 رسچر منعکس شود خیلی زیاد است. سوم، در دهه 1970، مجموعه‌ای از سمپوزیوم‌های سالانه درباره منطق چند ارزشی برگزار شد که بیشتر این موضوع را مورد توجه قرار داد. * سمپوزیوم 1971 و 1972 در SUNY در بوفالو، سمپوزیوم 1973 در دانشگاه تورنتو و سمپوزیوم 1974 در دانشگاه ویرجینیای غربی برگزار شد. مقالاتی از این سمپوزیوم ها در کتابشناسی گنجانده شده است که در ضمیمه این کتاب موجود است.

This is a collection of invited papers from the 1975 International Sym­ posium on Multiple-valued Logic. Also included is an extensive bib­ liography of works in the field of multiple-valued logic prior to 1975 - this supplements and extends an earlier bibliography of works prior to 1965, by Nicholas Rescher in his book Many-Valued Logic, McGraw-Hill, 1969. There are a number of possible reasons for interest in the present volume. First, the range of various uses covered in this collection of papers may be taken as indicative of a breadth which occurs in the field of multiple-valued logic as a whole - the papers here can do no more than cover a small sample: question-answering systems, analysis of computer hazards, algebraic structures relating to multiple-valued logic, algebra of computer programs, fuzzy sets. Second, a large part of the interest in such uses and applications has occurred in the last twenty, even ten years. It would be too much to expect this to be reflected in Rescher's 1969 book. Third, in the 1970's a series of annual symposia have been held on multiple-valued logic, which have brought much of this into a sharp focus. * The 1971 and 1972 symposia were held at the SUNY at Buffalo, the 1973 symposium at the Uni­ versity of Toronto, and the 1974 symposium at West Virginia Uni­ versity. Papers from these symposia are included in the bibliography which may be found in an appendix of this book.