论文标题
Priestley风格的二元性，用于滤镜一致逻辑
Priestley-style duality for filter-distributive congruential logics
论文作者
论文摘要
我们首先为代数类别的类别呈现Priestley风格的双重，该类别是与定理的某些一致，限制和过滤器分发逻辑的代数对应物。然后，我们分析二元空间的哪些特性对应于逻辑可能享有的属性，例如扣除定理或分离的存在。
We first present a Priestley-style dualitiy for the classes of algebras that are the algebraic counterpart of some congruential, finitary and filter-distributive logic with theorems. Then we analyze which properties of the dual spaces correspond to properties that the logic might enjoy, like the deduction theorem or the existence of a disjunction.
