This book exclusively surveys the active on-going research of the current maturity of fuzzy logic over the last four decades. Many world leaders of fuzzy logic have enthusiastically contributed their best research results into five theoretical, philosophical and fundamental sub areas and nine distinctive applications, including two PhD dissertations from two world class universities dealing with cutting-edge research areas of bioinformatics and geological science. Beyond the scope of survey and collection of the book, one important spin off is the emerging and recognition of a major scientific paradigm shift from the conventional mathematics to the mathematics of uncertainty, which arguably holds the key to solving very difficult and complex problems in biological and social sciences alike. The book, loaded with historical perspective, creative thinking, critical reviewing, and uniquely constructed strategy for future growth of this dynamic research area, is an invaluable resource for active researchers at all levels, university administrators, foundation directors, funding agency program chiefs, research & development planners and technological assessors.

The foundations of revealed preference theory for a competitive consumer were laid by Samuelson in 1938. Later this theory was axiomatically developed by Arrow, Sen, Suzumura and other economists into the theory of choice functions.

In the last thirty years, combinatorial mathematics has found itself at the heart of many technological applications. The aims of the conference on which this book is based were to stimulate combinatorial mathematicians to pursue new lines of research of potential and practical importance, and to uncover the breadth of applications to the subject. Topics covered include neural networks, cryptography, radio frequency assignment for mobile telecommunications, coding theory, sequences for communications applications, interconnection networks, data types, knot theory, radar, parallel processing, network reliability, formal specification of programs and protocols, and combinatorial optimization.

In 1965 Lotfi Zadeh, a professor of electrical engineering at the University of California in Berkeley, published the first of his papers on his new Fuzzy Set Theory. Since the 1980s this mathematical theory of "unsharp amounts" has been applied in many different fields with great success. The word "fuzzy" has also become very well-known among non-scientists thanks to extensive advertising campaigns for fuzzy-controlled household appliances and to their prominent presence in the media, first in Japan and then in other countries. On the other hand, the story of how Fuzzy Set Theory and its earliest applications originated remains largely unknown.

This book describes new methods for building intelligent systems using type-2 fuzzy logic and soft computing techniques. Soft Computing (SC) consists of several computing paradigms, including type-1 fuzzy logic, neural networks, and genetic algorithms, which can be used to create powerful hybrid intelligent systems. The authors extends the use of fuzzy logic to a higher order, which is called type-2 fuzzy logic. Combining type-2 fuzzy logic with traditional SC techniques, we can build powerful hybrid intelligent systems that can use the advantages that each technique offers. We consider in this book the use of type-2 fuzzy logic and traditional SC techniques to solve pattern recognition problems in realworld applications.

Gauss's law for electric fields, Gauss's law for magnetic fields, Faraday's law, and the Ampere-Maxwell law are four of the most influential equations in science. In this guide for students, each equation is the subject of an entire chapter, with detailed, plain-language explanations of the physical meaning of each symbol in the equation, for both the integral and differential forms. The final chapter shows how Maxwell's equations may be combined to produce the wave equation, the basis for the electromagnetic theory of light. This book is a wonderful resource for undergraduate and graduate courses in electromagnetism and electromagnetics. A website hosted by the author at www.cambridge.org/9780521701471 contains interactive solutions to every problem in the text as well as audio podcasts to walk students through each chapter.

This is the first treatment in book format of proof-theoretic transformations -- known as proof interpretations -- that focuses on applications to ordinary mathematics. It covers both the necessary logical machinery behind the proof interpretations that are used in recent applications as well as – via extended case studies – carries out some of these applications in full detail.