TY - BOOK ID - 7667677 TI - An introduction to many-valued and fuzzy logic : semantics, algebras, and derivation systems PY - 2008 SN - 9780521707572 0521881285 9780521881289 0521707579 9780511801129 9780511649578 0511649576 0511376456 9780511376450 9780511377396 0511377398 0511801122 1107184916 0511574185 9781107184916 9780511574184 PB - Cambridge ; New York : Cambridge University Press, DB - UniCat KW - Fuzzy logic. KW - Many-valued logic. KW - Logic, Many-valued KW - Logic, Multivalued KW - Logic, Variable-valued KW - Multivalued logic KW - Variable-valued logic KW - Nonclassical mathematical logic KW - Values KW - Nonlinear logic KW - Fuzzy mathematics KW - Logic, Symbolic and mathematical KW - Fuzzy systems KW - Lògica borrosa KW - Lògica multivalent KW - Lògica de diversos valors KW - Lògica plurivalent KW - Lògica polivalent KW - Lògica difusa KW - Lògica no lineal KW - Lògica matemàtica KW - Conjunts borrosos KW - Sistemes borrosos KW - Arts and Humanities KW - Philosophy KW - Logique KW - Logique floue KW - Logique multivalente KW - 20e siècle UR - https://www.unicat.be/uniCat?func=search&query=sysid:7667677 AB - 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. ER -