A TREATISE ON MANY VALUED LOGICS (HB 2001). Este artículo no está disponible.A TREATISE ON MANY VALUED LOGICS (HB 2001)

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)

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)