- document
-
Conradie, Willem (author), Palmigiano, A. (author), Zhao, Z. (author)In recent years, unified correspondence has been developed as a generalized Sahlqvist theory which applies uniformly to all signatures of normal and regular (distributive) lattice expansions. A fundamental tool for attaining this level of generality and uniformity is a principled way, based on order theory, to define the Sahlqvist and...journal article 2019