Priestley-style duality for filter-distributive congruential logics

arXiv2003.00999MaRDI QIDQ6335977

Publication date: 2 March 2020

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.

This page was built for publication: Priestley-style duality for filter-distributive congruential logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6335977)