Lattice-valued Logic aims at establishing the logical foundation for
uncertain information processing routinely performed by humans and
artificial intelligence systems. In this textbook for the first time a
general introduction on lattice-valued logic is given. It systematically
summarizes research from the basic notions up to recent results on
lattice implication algebras, lattice-valued logic systems based on
lattice implication algebras, as well as the corresponding reasoning
theories and methods. The book provides the suitable theoretical logical
background of lattice-valued logic systems and supports newly designed
intelligent uncertain-information-processing systems and a wide spectrum
of intelligent learning tasks.