Modern uses of multiple-valued logic : invited papers from the Fifth International Symposium on Multiple-Valued Logic, held at Indiana University, Bloomington, Indiana, May 13-16, 1975
著者
書誌事項
Modern uses of multiple-valued logic : invited papers from the Fifth International Symposium on Multiple-Valued Logic, held at Indiana University, Bloomington, Indiana, May 13-16, 1975
(Episteme / editor, Mario Bunge, v. 2)
D. Reidel Pub. Co., c1977
大学図書館所蔵 件 / 全50件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
"A survey of many-valued logic (1966-1974) [by] Robert G. Wolf": p. [167]-323
Includes indexes
内容説明・目次
内容説明
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.
目次
A Useful Four-Valued Logic.- Ternary Simulation of Binary Gate Networks.- A Survey of the Theory of Post Algebras and Their Generalizations.- Many-Valued Algorithmic Logic as a Tool to Investigate Programs.- Local and Fuzzy Logics.- Appendix I: A Survey of Many-Valued Logic (1966-1974).- Appendix II: List of Presentations.- Appendix III: List of Participants.- Index of Names.- Index of Subjects.
「Nielsen BookData」 より