| 书目名称 | Petr Hájek on Mathematical Fuzzy Logic | | 编辑 | Franco Montagna | | 视频video | | | 概述 | Offers new developments in fuzzy logic.Presents the work of prominent logicians and how their own work has been influenced by that of Petr Ha’jek.Provides a range of articles from an overview of the d | | 丛书名称 | Outstanding Contributions to Logic | | 图书封面 |  | | 描述 | .This volume celebrates the work of Petr Hájek on mathematical fuzzy logic and presents how his efforts have influenced prominent logicians who are continuing his work. The book opens with a discussion on Hájek‘s contribution to mathematical fuzzy logic and with a scientific biography of him, progresses to include two articles with a foundation flavour, that demonstrate some important aspects of Hájek‘s production, namely, a paper on the development of fuzzy sets and another paper on some fuzzy versions of set theory and arithmetic..Articles in the volume also focus on the treatment of vagueness, building connections between Hájek‘s favorite fuzzy logic and linguistic models of vagueness. Other articles introduce alternative notions of consequence relation, namely, the preservation of truth degrees, which is discussed in a general context, and the differential semantics. For the latter, a surprisingly strong standard completeness theorem is proved. Another contribution also looks at two principles valid in classical logic and characterize the three main t-norm logics in terms of these principles. .Other articles, with an algebraic flavour, offer a summary of the applications of lat | | 出版日期 | Book 2015 | | 关键词 | Algebraic Logic; Fuzzy Logic and Vagueness; Fuzzy sets; Ha‘jek and Modal Fuzzy Logic; MV-algebras; Partia | | 版次 | 1 | | doi | https://doi.org/10.1007/978-3-319-06233-4 | | isbn_softcover | 978-3-319-38295-1 | | isbn_ebook | 978-3-319-06233-4Series ISSN 2211-2758 Series E-ISSN 2211-2766 | | issn_series | 2211-2758 | | copyright | Springer International Publishing Switzerland 2015 |
The information of publication is updating
|
|
发表于 2025-3-21 17:21:06
