國立虎尾科技大學 |

Fuzzy Logic of Quasi-Truth: An Algebraic Treatment

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Fuzzy Logic of Quasi-Truth: An Algebraic Treatment/ by Antonio Di Nola, Revaz Grigolia, Esko Turunen.
Author:	Di Nola, Antonio.
other author:	Grigolia, Revaz.
Description:	VI, 116 p. 3 illus.online resource. :
Contained By:	Springer Nature eBook
Subject:	Computational intelligence. -
Online resource:	https://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-Truth: An Algebraic Treatment[electronic resource] /by Antonio Di Nola, Revaz Grigolia, Esko Turunen. - 1st ed. 2016. - VI, 116 p. 3 illus.online resource. - Studies in Fuzziness and Soft Computing,3381434-9922 ;. - Studies in Fuzziness and Soft Computing,319.

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 Łukasiewicz 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:

568984
Computational intelligence.

LC Class. No.: Q342

Dewey Class. No.: 006.3

Fuzzy Logic of Quasi-Truth: An Algebraic Treatment
LDR:02491nam a22003975i 4500 001 975339
003 DE-He213
005 20200630040218.0
007 cr nn 008mamaa
008 201211s2016 gw | s |||| 0|eng d
020 $a 9783319304069 $9 978-3-319-30406-9
024 7 $a 10.1007/978-3-319-30406-9 $2 doi
035 $a 978-3-319-30406-9
050 4 $a Q342
072 7 $a UYQ $2 bicssc
072 7 $a TEC009000 $2 bisacsh
072 7 $a UYQ $2 thema
082 0 4 $a 006.3 $2 23
100 1 $a Di Nola, Antonio. $4 aut $4 http://id.loc.gov/vocabulary/relators/aut $3 1106910
245 1 0 $a Fuzzy Logic of Quasi-Truth: An Algebraic Treatment $h [electronic resource] / $c by Antonio Di Nola, Revaz Grigolia, Esko Turunen.
250 $a 1st ed. 2016.
264 1 $a Cham : $b Springer International Publishing : $b Imprint: Springer, $c 2016.
300 $a VI, 116 p. 3 illus. $b online resource.
336 $a text $b txt $2 rdacontent
337 $a computer $b c $2 rdamedia
338 $a online resource $b cr $2 rdacarrier
347 $a text file $b PDF $2 rda
490 1 $a Studies in Fuzziness and Soft Computing, $x 1434-9922 ; $v 338
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 Łukasiewicz 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 Computational intelligence. $3 568984
650 0 $a Algebra. $2 gtt $3 579870
650 0 $a Computer science—Mathematics. $3 1253519
650 1 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. $4 aut $4 http://id.loc.gov/vocabulary/relators/aut $3 1106911
700 1 $a Turunen, Esko. $4 aut $4 http://id.loc.gov/vocabulary/relators/aut $3 1106912
710 2 $a SpringerLink (Online service) $3 593884
773 0 $t Springer Nature eBook
776 0 8 $i Printed edition: $z 9783319304045
776 0 8 $i Printed edition: $z 9783319304052
776 0 8 $i Printed edition: $z 9783319808017
830 0 $a Studies in Fuzziness and Soft Computing, $x 1434-9922 ; $v 319 $3 1253810
856 4 0 $u https://doi.org/10.1007/978-3-319-30406-9
912 $a ZDB-2-ENG
912 $a ZDB-2-SXE
950 $a Engineering (SpringerNature-11647)
950 $a Engineering (R0) (SpringerNature-43712)