國立高雄大學圖資館 |

Language: English

Back

Fuzzy logic of quasi-truthan algebra...

Di Nola, Antonio.

Fuzzy logic of quasi-truthan algebraic treatment /

Record Type:	Electronic resources : Monograph/item
Title/Author:	Fuzzy logic of quasi-truthby 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$q(electronic bk.)

Fuzzy logic of quasi-truthan 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 ;v.273..

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$q(electronic bk.)

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

181981
Fuzzy logic.

LC Class. No.: QA9.64

Dewey Class. No.: 511.313

Fuzzy logic of quasi-truthan algebraic treatment /
LDR:02469nmm a2200325 a 4500 001 484019
003 DE-He213
005 20160920094850.0
006 m d
007 cr nn 008maaau
008 161012s2016 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 199462
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 : $b Springer International Publishing : $b Imprint: Springer, $c 2016.
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 181981
650 1 4 $a Engineering. $3 210888
650 2 4 $a Computational Intelligence. $3 338479
650 2 4 $a General Algebraic Systems. $3 275666
650 2 4 $a Symbolic and Algebraic Manipulation. $3 273720
700 1 $a Grigolia, Revaz. $3 742048
700 1 $a Turunen, Esko. $3 742049
710 2 $a SpringerLink (Online service) $3 273601
773 0 $t Springer eBooks
830 0 $a Studies in fuzziness and soft computing ; $v v.273. $3 558583
856 4 0 $u http://dx.doi.org/10.1007/978-3-319-30406-9
950 $a Engineering (Springer-11647)