A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is
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 of theories as the image of a lattice homomorphism, with certain properties ensuring that the resulting logic is finitary and substitution invariant. Every finitary, substitution invariant logic arises from a filter pair. Particular classes of logics can be characterized as arising from special classes of filterarXiv:2109.01065v1 fatcat:3cxmtcpnebgpnmzo77wbila5oe