论文标题
分配晶格的拓扑二元性：理论和应用
Topological Duality for Distributive Lattices: Theory and Applications
论文作者
论文摘要
这本书是《石头普里斯利二重性理论》中的一门课程，并应用于逻辑和理论计算机科学。我们的目标受众是数学和计算机科学的研究生和研究人员。我们的目的是尽可能直接，迅速地进入相当完整的双重性工具的调色板，然后在三个象征性应用程序的设置中说明和进一步阐述这些工具：命题逻辑的语义，逻辑形式的域理论以及普通语言和自动化学研究的profinite Monoids的理论。
This book is a course in Stone-Priestley duality theory, with applications to logic and theoretical computer science. Our target audience are graduate students and researchers in mathematics and computer science. Our aim is to get in a fairly full palette of duality tools as directly and quickly as possible, then to illustrate and further elaborate these tools within the setting of three emblematic applications: semantics of propositional logics, domain theory in logical form, and the theory of profinite monoids for the study of regular languages and automata.
