A Treatise on Many-valued Logic: No. 9 (Studies in Logic & Computation) - Hardcover

Gottwald, Siegfried

Hardcover

ISBN 10: 0863802621 ISBN 13: 9780863802621

Publisher: Research Studies Press, 2001

Synopsis

For advanced undergraduate students of logic or computer science with a knowledge of elementary notions from classical logic and set theory, and lattices and other algebraic structures, Gottwald (logic and philosophy of science, U. of Leipzig, Germany) explains the theory underling many-valued logic, and surveys a broad class of applications. It is the growing applications that have driven recent interest in the logic, especially in computer science for automated theorem proving, approximate reasoning, multi-agent systems, switching theory, program verification, and other tricks. Annotation c. Book News, Inc., Portland, OR (booknews.com)

About this title

Synopsis

A growing interest in many-valued logic has developed which to a large extent is based on applications, intended as well as already realised ones. These applications range from the field of computer science, e.g. in the areas of automated theorem proving, approximate reasoning, multi-agent systems, switching theory, and program verification, through the field of pure mathematics, e.g. in independence of consistency proofs, in generalized set theories, or in the theory of particular algebraic structures, into the fields of humanities, linguistics and philosophy. This text provides comprehensive coverage of many-valued logic from theoretical foundations to results and applications: including theorem proving, approximate reasoning, program verification and generalized set theories; it covers the main areas of actual research interest, surveys the most important results and indicates the lines of actual research tendencies; studies many different fields of applications for many-valued logic, ranging from applications in computer science (e.g. soft computing or knowledge engineering), to mathematics, logic and linguistics.

The text is suitable for those with limited or extensive knowledge of classical logic, set theory and algebraic structures.

Edition details

• Publisher: Research Studies Press
• Publication date: 2001
• Language: English
• ISBN 10: 0863802621
• ISBN 13: 9780863802621
• Binding: Hardcover
• Number of pages: 616