Topological Duality for Distributive Lattices
Title | Topological Duality for Distributive Lattices PDF eBook |
Author | Mai Gehrke |
Publisher | Cambridge University Press |
Total Pages | 370 |
Release | 2024-02-29 |
Genre | Computers |
ISBN | 1009349716 |
Introducing Stone–Priestley duality theory and its applications to logic and theoretical computer science, this book equips graduate students and researchers with the theoretical background necessary for reading and understanding current research in the area. After giving a thorough introduction to the algebraic, topological, logical, and categorical aspects of the theory, the book covers two advanced applications in computer science, namely in domain theory and automata theory. These topics are at the forefront of active research seeking to unify semantic methods with more algorithmic topics in finite model theory. Frequent exercises punctuate the text, with hints and references provided.
Topological Duality for Distributive Lattices
Title | Topological Duality for Distributive Lattices PDF eBook |
Author | Mai Gehrke |
Publisher | Cambridge University Press |
Total Pages | 369 |
Release | 2024-02-29 |
Genre | Computers |
ISBN | 1009349694 |
Introducing Stone-Priestley duality theory and its applications to logic and theoretical computer science, this book equips graduate students and researchers with the theoretical background necessary for reading and understanding current research in the area. After giving a thorough introduction to the algebraic, topological, logical, and categorical aspects of the theory, the book covers two advanced applications in computer science, namely in domain theory and automata theory. These topics are at the forefront of active research seeking to unify semantic methods with more algorithmic topics in finite model theory. Frequent exercises punctuate the text, with hints and references provided.
Distributive Lattices
Title | Distributive Lattices PDF eBook |
Author | Raymond Balbes |
Publisher | Ray Balbes |
Total Pages | 320 |
Release | 1975 |
Genre | Mathematics |
ISBN |
Continuous Lattices and Their Applications
Title | Continuous Lattices and Their Applications PDF eBook |
Author | Rudolf E. Hoffmann |
Publisher | CRC Press |
Total Pages | 392 |
Release | 2020-12-17 |
Genre | Computers |
ISBN | 1000154173 |
This book contains articles on the notion of a continuous lattice, which has its roots in Dana Scott's work on a mathematical theory of computation, presented at a conference on categorical and topological aspects of continuous lattices held in 1982.
Lattice Theory
Title | Lattice Theory PDF eBook |
Author | George Gratzer |
Publisher | Courier Corporation |
Total Pages | 242 |
Release | 2009-01-01 |
Genre | Mathematics |
ISBN | 048647173X |
This outstanding text is written in clear language and enhanced with many exercises, diagrams, and proofs. It discusses historical developments and future directions and provides an extensive bibliography and references. 1971 edition.
Distributive Lattices and Their Applications in Complex Analysis
Title | Distributive Lattices and Their Applications in Complex Analysis PDF eBook |
Author | Viktor Viktorovich Zharinov |
Publisher | American Mathematical Soc. |
Total Pages | 92 |
Release | 1985 |
Genre | Mathematics |
ISBN | 9780821830888 |
Algebraic methods have penetrated deeply into contemporary complex analysis, having an essential influence on both the choice of problems and on the methods for solving them. This monograph deals with the applications of distributive lattices of subspaces to problems in multidimensional complex analysis.
Hiroakira Ono on Substructural Logics
Title | Hiroakira Ono on Substructural Logics PDF eBook |
Author | Nikolaos Galatos |
Publisher | Springer Nature |
Total Pages | 382 |
Release | 2021-12-13 |
Genre | Philosophy |
ISBN | 3030769208 |
This volume is dedicated to Hiroakira Ono life’s work on substructural logics. Chapters, written by well-established academics, cover topics related to universal algebra, algebraic logic and the Full Lambek calculus; the book includes a short biography about Hiroakira Ono. The book starts with detailed surveys on universal algebra, abstract algebraic logic, topological dualities, and connections to computer science. It further contains specialised contributions on connections to formal languages (recognizability in residuated lattices and connections to the finite embedding property), covering systems for modal substructural logics, results on the existence and disjunction properties and finally a study of conservativity of expansions. This book will be primarily of interest to researchers working in algebraic and non-classical logic.