- 题名/责任者:
- Algebraic Foundations of Many-Valued Reasoning / by Roberto L. O. Cignoli, Itala M. L. D
- 出版发行项:
- Dordrecht : Springer Netherlands : Imprint: Springer, 2000.
- ISBN:
- 9789401594806
- ISBN:
- 9789401594806
- ISBN:
- 9789048153367
- 其它标准号:
- 10.1007/978-94-015-9480-6
- 载体形态项:
- IX, 233 p. online resource. 24cm.
- 丛编说明:
- Trends in Logic, Studia Logica Library, 1572-6126 ; 7
- 个人责任者:
- Cignoli, Roberto L. O., author.
- 附加个人名称:
- Mundici, Daniele, author.
- 附加个人名称:
- D
- 论题主题:
- Logic
- 论题主题:
- Philosophy
- 论题主题:
- Philosophy.
- 论题主题:
- Logic.
- 论题主题:
- Artificial intelligence
- 论题主题:
- Algebra
- 中图法分类号:
- O235
- 摘要附注:
- This unique textbook states and proves all the major theorems of many-valued propositional logic and provides the reader with the most recent developments and trends, including applications to adaptive error-correcting binary search. The book is suitable for self-study, making the basic tools of many-valued logic accessible to students and scientists with a basic mathematical knowledge who are interested in the mathematical treatment of uncertain information. Stressing the interplay between algebra and logic, the book contains material never before published, such as a simple proof of the completeness theorem and of the equivalence between Chang's MV algebras and Abelian lattice-ordered groups with unit - a necessary prerequisite for the incorporation of a genuine addition operation into fuzzy logic. Readers interested in fuzzy control are provided with a rich deductive system in which one can define fuzzy partitions, just as Boolean partitions can be defined and computed in classical logic. Detailed bibliographic remarks at the end of each chapter and an extensive bibliography lead the reader on to further specialised topics.
全部MARC细节信息>>
| 索书号 | 条码号 | 年卷期 | 馆藏地 | 书刊状态 | 还书位置 |
| O235/X2 | X003965 |  经济书库-外文图书417
|
可借 | 经济书库-外文图书417 |
显示全部馆藏信息