LEADER 01034nam0-22003971i-450- 001 990006118970403321 005 20150626104441.0 010 $a88-13-17729-1 035 $a000611897 035 $aFED01000611897 035 $a(Aleph)000611897FED01 035 $a000611897 100 $a20000112d1993----km-y0itay50------ba 101 0 $aita 102 $aIT 105 $ay-------001yy 200 1 $aGiustizia amministrativa$fFilippo Satta 205 $aSeconda edizione 210 $aPadova$cCedam$d1993 215 $aXIV, 521 p.$d24 cm 676 $a351.88 700 1$aSatta,$bFilippo$036295 801 0$aIT$bUNINA$gRICA$2UNIMARC 901 $aBK 912 $a990006118970403321 952 $aDP XXVIII - 193$b11996$fDEC 952 $aDP VIII - 166$b11996$fDEC 952 $aDP VIII-166$b11996$fDEC 952 $aVI F 198$b20835*$fFGBC 952 $aXXVIII 195$b2826$fDDCIC 959 $aDEC 959 $aDEC 959 $aDEC 959 $aDDCIC 996 $aGiustizia amministrativa$9575409 997 $aUNINA LEADER 03913nam 22006852 450 001 9910782699303321 005 20220706192007.0 010 $a1-107-18491-6 010 $a0-511-80112-2 010 $a0-511-64957-6 010 $a0-511-37645-6 010 $a0-511-57418-5 010 $a0-511-37739-8 035 $a(CKB)1000000000689231 035 $a(EBL)328952 035 $a(OCoLC)437197124 035 $a(SSID)ssj0000361846 035 $a(PQKBManifestationID)11266870 035 $a(PQKBTitleCode)TC0000361846 035 $a(PQKBWorkID)10367159 035 $a(PQKB)10732493 035 $a(UkCbUP)CR9780511801129 035 $a(MiAaPQ)EBC328952 035 $a(Au-PeEL)EBL328952 035 $a(CaPaEBR)ebr10218474 035 $a(PPN)261362062 035 $a(EXLCZ)991000000000689231 100 $a20101021d2008|||| uy| 0 101 0 $aeng 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 13$aAn introduction to many-valued and fuzzy logic $esemantics, algebras, and derivation systems /$fMerrie Bergmann$b[electronic resource] 210 1$aCambridge :$cCambridge University Press,$d2008. 215 $a1 online resource (xii, 329 pages) $cdigital, PDF file(s) 300 $aTitle from publisher's bibliographic system (viewed on 05 Oct 2015). 311 $a0-521-70757-9 311 $a0-521-88128-5 320 $aIncludes bibliographical references (p. 321-325) and index. 327 $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. 330 $aProfessor Merrie Bergmann presents an accessible introduction to the subject of many-valued and fuzzy logic designed for use on undergraduate and graduate courses in non-classical logic. Bergmann discusses the philosophical issues that give rise to fuzzy logic - problems arising from vague language - and returns to those issues as logical systems are presented. For historical and pedagogical reasons, three-valued logical systems are presented as useful intermediate systems for studying the principles and theory behind fuzzy logic. The major fuzzy logical systems - Lukasiewicz, Go?del, and product logics - are then presented as generalisations of three-valued systems that successfully address the problems of vagueness. A clear presentation of technical concepts, this book includes exercises throughout the text that pose straightforward problems, that ask students to continue proofs begun in the text, and that engage students in the comparison of logical systems. 517 3 $aAn Introduction to Many-Valued & Fuzzy Logic 606 $aFuzzy logic 606 $aMany-valued logic 606 $aLògica borrosa$2thub 606 $aLògica multivalent$2thub 608 $aLlibres electrònics$2thub 615 0$aFuzzy logic. 615 0$aMany-valued logic. 615 7$aLògica borrosa 615 7$aLògica multivalent 676 $a511.3/13 700 $aBergmann$b Merrie$0540409 801 0$bUkCbUP 801 1$bUkCbUP 906 $aBOOK 912 $a9910782699303321 996 $aAn introduction to many-valued and fuzzy logic$93697362 997 $aUNINA