Lattice-valued logic

Lattice-valued logic is presented here as a foundation for handling uncertain information, the kind people and AI systems deal with every day. The book is written as a textbook and offers the first broad introduction to the field. It traces the subject from its basic ideas to recent findings on lattice implication algebras, the logic systems built on them, and the reasoning theories and methods that follow.

Beyond the mathematical groundwork, the book aims to give readers the theoretical background needed to design intelligent systems that process uncertain information and to tackle a wide range of learning tasks.