Antonio Di Nola, Revaz Grigolia, Esko Turunen

eBook, PDF

Fuzzy Logic of Quasi-Truth: An Algebraic Treatment (eBook, PDF)

Beschreibung

This book presents the first algebraic treatment of quasi-truth fuzzy logic and covers the algebraic foundations of many-valued logic. It offers a comprehensive account of basic techniques and reports on important results showing the pivotal role played by perfect many-valued algebras (MV-algebras). It is well known that the first-order predicate Lukasiewicz logic is not complete with respect to the canonical set of truth values. However, it is complete with respect to all linearly ordered MV -algebras. As there are no simple linearly ordered MV-algebras in this case, infinitesimal elements of an MV-algebra are allowed to be truth values. The book presents perfect algebras as an interesting subclass of local MV-algebras and provides readers with the necessary knowledge and tools for formalizing the fuzzy concept of quasi true and quasi false. All basic concepts are introduced in detail to promote a better understanding of the more complex ones. It is an advanced and inspiring reference-guide for graduate students and researchers in the field of non-classical many-valued logics.

Technische Details

• Geräte: PC
• ohne Kopierschutz
• Größe: 1.73MB

Barrierefreiheit

• Text-to-Speech

Produktdetails

• Verlag: Springer International Publishing
• Seitenzahl: 116
• Erscheinungstermin: 18. März 2016
• Englisch
• ISBN-13: 9783319304069
• Artikelnr.: 44883277

Rezensionen

"This book studies many-valued logics and their algebraic counterparts which are suitable for formalizing and modelling the concept of quasi-true. ... This work is a valuable source of information for all logicians and philosophers interested in mathematical models of vagueness, and their application to modelling many-valued truth-degrees in an algebraically coherent manner." (Tomás Kroupa, Mathematical Reviews, March, 2017)