國立虎尾科技大學 |

Fuzzy logic of quasi-truth = an algebraic treatment /

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Fuzzy logic of quasi-truth/ by Antonio Di Nola, Revaz Grigolia, Esko Turunen.
Reminder of title:	an algebraic treatment /
Author:	Di Nola, Antonio.
other author:	Grigolia, Revaz.
Published:	Cham :Springer International Publishing : : 2016.,
Description:	vi, 116 p. :ill., digital ; : 24 cm.;
Contained By:	Springer eBooks
Subject:	Fuzzy logic. -
Online resource:	http://dx.doi.org/10.1007/978-3-319-30406-9
ISBN:	9783319304069

Fuzzy logic of quasi-truth = an algebraic treatment /
Di Nola, Antonio.

Fuzzy logic of quasi-truthan algebraic treatment /[electronic resource] :by Antonio Di Nola, Revaz Grigolia, Esko Turunen. - Cham :Springer International Publishing :2016. - vi, 116 p. :ill., digital ;24 cm. - Studies in fuzziness and soft computing,v.3381434-9922 ;. - Studies in fuzziness and soft computing ;vol. 45..

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.

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.

ISBN: 9783319304069

Standard No.: 10.1007/978-3-319-30406-9doiSubjects--Topical Terms:

528464
Fuzzy logic.

LC Class. No.: QA9.64

Dewey Class. No.: 511.313

Fuzzy logic of quasi-truth = an algebraic treatment /
LDR:02469nam a2200325 a 4500 001 863133
003 DE-He213
005 20160920094850.0
006 m d
007 cr nn 008maaau
008 170720s2016 gw s 0 eng d
020 $a 9783319304069 $q (electronic bk.)
020 $a 9783319304045 $q (paper)
024 7 $a 10.1007/978-3-319-30406-9 $2 doi
035 $a 978-3-319-30406-9
040 $a GP $c GP
041 0 $a eng
050 4 $a QA9.64
072 7 $a UYQ $2 bicssc
072 7 $a COM004000 $2 bisacsh
082 0 4 $a 511.313 $2 23
090 $a QA9.64 $b .D536 2016
100 1 $a Di Nola, Antonio. $3 1106910
245 1 0 $a Fuzzy logic of quasi-truth $h [electronic resource] : $b an algebraic treatment / $c by Antonio Di Nola, Revaz Grigolia, Esko Turunen.
260 $a Cham : $c 2016. $b Springer International Publishing : $b Imprint: Springer,
300 $a vi, 116 p. : $b ill., digital ; $c 24 cm.
490 1 $a Studies in fuzziness and soft computing, $x 1434-9922 ; $v v.338
505 0 $a 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.
520 $a 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.
650 0 $a Fuzzy logic. $3 528464
650 1 4 $a Engineering. $3 561152
650 2 4 $a Computational Intelligence. $3 768837
650 2 4 $a General Algebraic Systems. $3 672227
650 2 4 $a Symbolic and Algebraic Manipulation. $3 669944
700 1 $a Grigolia, Revaz. $3 1106911
700 1 $a Turunen, Esko. $3 1106912
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer eBooks
830 0 $a Studies in fuzziness and soft computing ; $v vol. 45. $3 839637
856 4 0 $u http://dx.doi.org/10.1007/978-3-319-30406-9
950 $a Engineering (Springer-11647)