Priestley-style duality for filter-distributive congruential logics
Logic
2025-10-14 v2
Abstract
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.
Cite
@article{arxiv.2003.00999,
title = {Priestley-style duality for filter-distributive congruential logics},
author = {María Esteban and Ramon Jansana},
journal= {arXiv preprint arXiv:2003.00999},
year = {2025}
}