Overview
- 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 development of fuzzy set theory to surprising proposition to call Hajek's basic fuzzy logic H, instead of BL
- Includes supplementary material: sn.pub/extras
Part of the book series: Outstanding Contributions to Logic (OCTR, volume 6)
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (12 chapters)
-
Introduction
-
Foundational Aspects of Mathematical Fuzzy Logic
-
Semantics and Consequence Relation in Many-Valued Logic
-
Algebra for Many-Valued Logic
-
More Recent Trends
Keywords
About this book
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 lattice ordered-groups to many-valued logic and to quantum logic, as well as an investigation of prelinearity in varieties of pointed lattice ordered algebras that satisfy a weak form of distributivity and have a very weak implication.
The last part of the volume contains an article on possibilistic modal logics defined over MTL chains, a topic that Hájek discussed in his celebrated work, Metamathematics of Fuzzy Logic, and another one where the authors, besides offering unexpected premises such as proposing to call Hájek's basic fuzzy logic HL, instead of BL, propose a very weak system, called SL as a candidate for the role of the really basic fuzzy logic. The paper also provides a generalization of the prelinearity axiom, which was investigatedby Hájek in the context of fuzzy logic.
Editors and Affiliations
About the editor
Bibliographic Information
Book Title: Petr Hájek on Mathematical Fuzzy Logic
Editors: Franco Montagna
Series Title: Outstanding Contributions to Logic
DOI: https://doi.org/10.1007/978-3-319-06233-4
Publisher: Springer Cham
eBook Packages: Mathematics and Statistics, Mathematics and Statistics (R0)
Copyright Information: Springer International Publishing Switzerland 2015
Hardcover ISBN: 978-3-319-06232-7Published: 06 October 2014
Softcover ISBN: 978-3-319-38295-1Published: 10 September 2016
eBook ISBN: 978-3-319-06233-4Published: 23 September 2014
Series ISSN: 2211-2758
Series E-ISSN: 2211-2766
Edition Number: 1
Number of Pages: XII, 318
Number of Illustrations: 9 b/w illustrations
Topics: Mathematical Logic and Foundations, Logic