Fuzzy Logic Of Quasi-truth: An Algebraic Treatment by Antonio Di NolaFuzzy Logic Of Quasi-truth: An Algebraic Treatment by Antonio Di Nola

Fuzzy Logic Of Quasi-truth: An Algebraic Treatment

byAntonio Di Nola, Revaz Grigolia, Esko Turunen

Hardcover | March 30, 2016

Pricing and Purchase Info


Earn 1,105 plum® points

Prices and offers may vary in store


In stock online

Ships free on orders over $25

Not available in stores


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.

Title:Fuzzy Logic Of Quasi-truth: An Algebraic TreatmentFormat:HardcoverDimensions:116 pages, 23.5 × 15.5 × 0.03 inPublished:March 30, 2016Publisher:Springer-Verlag/Sci-Tech/TradeLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:3319304046

ISBN - 13:9783319304045

Look for similar items by category:


Table of Contents

Introduction.- Basic Notions.- Classical Sentential Calculus and Lukasiewicz Sentential
Calculus.- MV -Algebras: Generalities.- Local MV -algebras.- Perfect MV -algebras.- The Variety Generated by Perfect MV -algebras.- Representations of Perfect MV -algebras.- The Logic of Perfect Algebras.- The Logic of Quasi True.- Perfect Pavelka Logic.

Editorial Reviews

"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)