滤子分配同余逻辑的 Priestley 风格对偶
Priestley-style duality for filter-distributive congruential logics
AI总结：
本文为带定理的同余、有限且滤子分配逻辑的代数类提出 Priestley 风格对偶，并分析对偶空间性质与逻辑性质（如演绎定理、析取存在性）的对应关系。
摘要：
我们首先为作为某些带定理的同余、有限且滤子分配逻辑的代数对应物的代数类，提出一种 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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
