000 02403cam a2200397 a 4500
001 14743266
003 ARRUPE
005 20211013104828.0
008 070222s2008 enka b 001 0 eng
010 _a 2007007725
015 _aGBA777269
_2bnb
016 7 _a014015994
_2Uk
020 _a0521881285 (hbk.)
020 _a9780521881289 (hbk.)
020 _a0521707579 (pbk.)
020 _a9780521707572 (pbk.)
035 _a(OCoLC)ocm85692797
035 _a(OCoLC)85692797
040 _aDLC
_cDLC
_dBAKER
_dBTCTA
_dYDXCP
_dUKM
_dC#P
_dBWX
_dIXA
_dDLC
050 0 0 _aQA9.64
_b.B47 2008
082 0 0 _a511.3/13
_222
100 1 _aBergmann, Merrie.
_950395
245 1 3 _aAn introduction to many-valued and fuzzy logic :
_bsemantics, algebras, and derivation systems /
_cMerrie Bergmann.
260 _aCambridge ;
_aNew York :
_bCambridge University Press,
_c2008.
300 _axii, 329 p. :
_bill. ;
_c26 cm.
504 _aIncludes bibliographical references (p. 321-325) and index.
505 0 _aReview of classical propositional logic -- Review of classical first-order logic -- Alternative semantics for truth-values and truth-functions : numeric truth-values and abstract algebras -- Three-valued propositional logics : semantics -- Derivation systems for three-valued propositional logic -- Three-valued first-order logics : semantics -- Derivation systems for three-valued first-order logics -- Alternative semantics for three-valued logic -- The principle of charity reconsidered and a new problem of the fringe -- Fuzzy propositional logics : semantics -- Fuzzy algebras -- Derivation systems for fuzzy propositional logics -- Fuzzy first-order logics : semantics -- Derivation systems for fuzzy first-order logics -- Extensions of fuzziness -- Fuzzy membership functions.
650 0 _aFuzzy logic.
_950396
650 0 _aMany-valued logic.
_950397
856 4 1 _3Table of contents only
_uhttp://www.loc.gov/catdir/toc/ecip0711/2007007725.html
856 4 2 _3Contributor biographical information
_uhttp://www.loc.gov/catdir/enhancements/fy0743/2007007725-b.html
856 4 2 _3Publisher description
_uhttp://www.loc.gov/catdir/enhancements/fy0743/2007007725-d.html
906 _a7
_bcbc
_corignew
_d1
_eecip
_f20
_gy-gencatlg
942 _2lcc
_cMONOGRAPH
999 _c130766
_d130766