Congruence Filter Pairs, Adjoints and Leibniz Hierarchy

Peter Arndt, Hugo Luiz Mariano, Darllan Conceição Pinto

We review the notion of (finitary) filter pair as a tool for creating and analyzing logics. A filter pair can be seen as a presentation of a logic, given by presenting its lattice…