000 02892nam a22005175i 4500
001 978-3-319-30406-9
003 DE-He213
005 20200421112555.0
007 cr nn 008mamaa
008 160318s2016 gw | 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 _aCOM004000
_2bisacsh
082 0 4 _a006.3
_223
100 1 _aDi Nola, Antonio.
_eauthor.
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,
_x1434-9922 ;
_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 _aEngineering.
650 0 _aComputer science
_xMathematics.
650 0 _aAlgebra.
650 0 _aComputational intelligence.
650 1 4 _aEngineering.
650 2 4 _aComputational Intelligence.
650 2 4 _aGeneral Algebraic Systems.
650 2 4 _aSymbolic and Algebraic Manipulation.
700 1 _aGrigolia, Revaz.
_eauthor.
700 1 _aTurunen, Esko.
_eauthor.
710 2 _aSpringerLink (Online service)
773 0 _tSpringer eBooks
776 0 8 _iPrinted edition:
_z9783319304045
830 0 _aStudies in Fuzziness and Soft Computing,
_x1434-9922 ;
_v338
856 4 0 _uhttp://dx.doi.org/10.1007/978-3-319-30406-9
912 _aZDB-2-ENG
942 _cEBK
999 _c59107
_d59107