George Grätzer's Lattice Theory: Foundation is his third book on lattice theory (General Lattice Theory, 1978, second edition, 1998). In 2009, Grätzer considered updating the second edition to reflect some exciting and deep developments. He soon realized that to lay the foundation, to survey the contemporary field, to pose research problems, would require more than one volume and more than one person. So Lattice Theory: Foundation provided the foundation. Now we complete this project with Lattice Theory: Special Topics and Applications, in two volumes, written by a distinguished group of experts, to cover some of the vast areas not in Foundation. This second volume is divided into ten chapters contributed by K. Adaricheva, N. Caspard, R. Freese, P. Jipsen, J.B. Nation, N. Reading, H. Rose, L. Santocanale, and F. Wehrung.

George Grätzer's Lattice Theory: Foundation is his third book on lattice theory (General Lattice Theory, 1978, second edition, 1998). In 2009, Grätzer considered updating the second edition to reflect some exciting and deep developments. He soon realized that to lay the foundation, to survey the contemporary field, to pose research problems, would require more than one volume and more than one person. So Lattice Theory: Foundation provided the foundation. Now we complete this project with Lattice Theory: Special Topics and Applications, written by a distinguished group of experts, to cover some of the vast areas not in Foundation. This first volume is divided into three parts. Part I. Topology and Lattices includes two chapters by Klaus Keimel, Jimmie Lawson and Ales Pultr, Jiri Sichler. Part II. Special Classes of Finite Lattices comprises four chapters by Gabor Czedli, George Grätzer and Joseph P. S. Kung. Part III. Congruence Lattices of Infinite Lattices and Beyond includes four chapters by Friedrich Wehrung and George Grätzer.

This book started with Lattice Theory, First Concepts, in 1971. Then came General Lattice Theory, First Edition, in 1978, and the Second Edition twenty years later. Since the publication of the first edition in 1978, General Lattice Theory has become the authoritative introduction to lattice theory for graduate students and the standard reference for researchers. The First Edition set out to introduce and survey lattice theory. Some 12,000 papers have been published in the field since then; so Lattice Theory: Foundation focuses on introducing the field, laying the foundation for special topics and applications. Lattice Theory: Foundation, based on the previous three books, covers the fundamental concepts and results. The main topics are distributivity, congruences, constructions, modularity and semimodularity, varieties, and free products. The chapter on constructions is new, all the other chapters are revised and expanded versions from the earlier volumes. Almost 40 “diamond sections’’, many written by leading specialists in these fields, provide a brief glimpse into special topics beyond the basics. “Lattice theory has come a long way... For those who appreciate lattice theory, or who are curious about its techniques and intriguing internal problems, Professor Grätzer's lucid new book provides a most valuable guide to many recent developments. Even a cursory reading should provide those few who may still believe that lattice theory is superficial or naive, with convincing evidence of its technical depth and sophistication.” Bulletin of the American Mathematical Society “Grätzer’s book General Lattice Theory has become the lattice theorist’s bible.” Mathematical Reviews

In the first half of the nineteenth century, George Boole's attempt to formalize propositional logic led to the concept of Boolean algebras. While investigating the axiomatics of Boolean algebras at the end of the nineteenth century, Charles S. Peirce and Ernst Schröder found it useful to introduce the lattice concept. Independently, Richard Dedekind's research on ideals of algebraic numbers led to the same discov ery. In fact, Dedekind also introduced modularity, a weakened form of distri butivity. Although some of the early results of these mathematicians and of Edward V. Huntington are very elegant and far from trivial, they did not attract the attention of the mathematical community. It was Garrett Birkhoff's work in the mid-thirties that started the general develop ment of lattice theory. In a brilliant series of papers he demonstrated the importance of lattice theory and showed that it provides a unifying framework for hitherto unrelated developments in many mathematical disciplines. Birkhoff himself, Valere Glivenko, Karl Menger, John von Neumann, Oystein Ore, and others had developed enough of this new field for Birkhoff to attempt to "seIl" it to the general mathematical community, which he did with astonishing success in the first edition of his Lattice Theory. The further development of the subject matter can best be followed by com paring the first, second, and third editions of his book (G. Birkhoff [1940], [1948], and [1967]).

Lattice theory extends into virtually every branch of mathematics, ranging from measure theory and convex geometry to probability theory and topology. A more recent development has been the rapid escalation of employing lattice theory for various applications outside the domain of pure mathematics. These applications range from electronic communication theory and gate array devices that implement Boolean logic to artificial intelligence and computer science in general. Introduction to Lattice Algebra: With Applications in AI, Pattern Recognition, Image Analysis, and Biomimetic Neural Networks lays emphasis on two subjects, the first being lattice algebra and the second the practical applications of that algebra. This textbook is intended to be used for a special topics course in artificial intelligence with a focus on pattern recognition, multispectral image analysis, and biomimetic artificial neural networks. The book is self-contained and – depending on the student’s major – can be used for a senior undergraduate level or first-year graduate level course. The book is also an ideal self-study guide for researchers and professionals in the above-mentioned disciplines. Features Filled with instructive examples and exercises to help build understanding Suitable for researchers, professionals and students, both in mathematics and computer science Contains numerous exercises.

This three-volume-set comprises the complete lattice theory project. Volume 1 of the set, Lattice Theory: Foundation, is the revised and enlarged third edition of General Lattice Theory. It focuses on introducing the field and covers the fundamental concepts and results. The two Special Topics and Applications volumes (volumes 2 and 3 of the set), jointly edited by George Grätzer and Friedrich Wehrung, update the reader on some of the vast areas not in Foundation. Volume 1 is divided into three parts. Part I. Topology and Lattices includes two chapters by Klaus Keimel, Jimmie Lawson and Ales Pultr, Jiri Sichler. Part II. Special Classes of Finite Lattices comprises four chapters by Gabor Czedli, George Grätzer and Joseph P. S. Kung. Part III. Congruence Lattices of Infinite Lattices and Beyond includes four chapters by Friedrich Wehrung and George Grätzer. Volume 2 is divided into ten chapters contributed by K. Adaricheva, N. Caspard, R. Freese, P. Jipsen, J.B. Nation, N. Reading, H. Rose, L. Santocanale, and F. Wehrung.

A computational perspective on partial order and lattice theory, focusing on algorithms and their applications This book provides a uniform treatment of the theory and applications of lattice theory. The applications covered include tracking dependency in distributed systems, combinatorics, detecting global predicates in distributed systems, set families, and integer partitions. The book presents algorithmic proofs of theorems whenever possible. These proofs are written in the calculational style advocated by Dijkstra, with arguments explicitly spelled out step by step. The author’s intent is for readers to learn not only the proofs, but the heuristics that guide said proofs. Introduction to Lattice Theory with Computer Science Applications: Examines; posets, Dilworth’s theorem, merging algorithms, lattices, lattice completion, morphisms, modular and distributive lattices, slicing, interval orders, tractable posets, lattice enumeration algorithms, and dimension theory Provides end of chapter exercises to help readers retain newfound knowledge on each subject Includes supplementary material at www.ece.utexas.edu/~garg Introduction to Lattice Theory with Computer Science Applications is written for students of computer science, as well as practicing mathematicians.