000 03268nam a22005535i 4500
001 978-3-319-30406-9
003 DE-He213
005 20220801221347.0
007 cr nn 008mamaa
008 160318s2016 sz | s |||| 0|eng d
020 _a9783319304069
_9978-3-319-30406-9
024 7 _a10.1007/978-3-319-30406-9
_2doi
050 4 _aQ342
072 7 _aUYQ
_2bicssc
072 7 _aTEC009000
_2bisacsh
072 7 _aUYQ
_2thema
082 0 4 _a006.3
_223
100 1 _aDi Nola, Antonio.
_eauthor.
_4aut
_4http://id.loc.gov/vocabulary/relators/aut
_955586
245 1 0 _aFuzzy Logic of Quasi-Truth: An Algebraic Treatment
_h[electronic resource] /
_cby Antonio Di Nola, Revaz Grigolia, Esko Turunen.
250 _a1st ed. 2016.
264 1 _aCham :
_bSpringer International Publishing :
_bImprint: Springer,
_c2016.
300 _aVI, 116 p. 3 illus.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aStudies in Fuzziness and Soft Computing,
_x1860-0808 ;
_v338
520 _aThis 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 _aComputational intelligence.
_97716
650 0 _aUniversal algebra.
_955587
650 0 _aComputer science—Mathematics.
_931682
650 1 4 _aComputational Intelligence.
_97716
650 2 4 _aGeneral Algebraic Systems.
_955588
650 2 4 _aSymbolic and Algebraic Manipulation.
_955589
700 1 _aGrigolia, Revaz.
_eauthor.
_4aut
_4http://id.loc.gov/vocabulary/relators/aut
_955590
700 1 _aTurunen, Esko.
_eauthor.
_4aut
_4http://id.loc.gov/vocabulary/relators/aut
_955591
710 2 _aSpringerLink (Online service)
_955592
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783319304045
776 0 8 _iPrinted edition:
_z9783319304052
776 0 8 _iPrinted edition:
_z9783319808017
830 0 _aStudies in Fuzziness and Soft Computing,
_x1860-0808 ;
_v338
_955593
856 4 0 _uhttps://doi.org/10.1007/978-3-319-30406-9
912 _aZDB-2-ENG
912 _aZDB-2-SXE
942 _cEBK
999 _c79585
_d79585