03691nam 22006132 450 991045441960332120151005020621.01-107-18491-60-511-80112-20-511-64957-60-511-37645-60-511-57418-50-511-37739-8(CKB)1000000000689231(EBL)328952(OCoLC)437197124(SSID)ssj0000361846(PQKBManifestationID)11266870(PQKBTitleCode)TC0000361846(PQKBWorkID)10367159(PQKB)10732493(UkCbUP)CR9780511801129(MiAaPQ)EBC328952(Au-PeEL)EBL328952(CaPaEBR)ebr10218474(EXLCZ)99100000000068923120101021d2008|||| uy| 0engur|||||||||||txtrdacontentcrdamediacrrdacarrierAn introduction to many-valued and fuzzy logic semantics, algebras, and derivation systems /Merrie Bergmann[electronic resource]Cambridge :Cambridge University Press,2008.1 online resource (xii, 329 pages) digital, PDF file(s)Title from publisher's bibliographic system (viewed on 05 Oct 2015).0-521-70757-9 0-521-88128-5 Includes bibliographical references (p. 321-325) and index.Review 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.Professor 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, Gòˆ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.An Introduction to Many-Valued & Fuzzy LogicFuzzy logicMany-valued logicFuzzy logic.Many-valued logic.511.3/13Bergmann Merrie540409UkCbUPUkCbUPBOOK9910454419603321An introduction to many-valued and fuzzy logic1906054UNINA