1. Banaschewski, B.: Remarks on dual adjointness. In: Nordwestdeutsches Kategorienseminar Tagung, Bremen, 1976. Math.-Arbeitspapiere, vol. 7, Teil A: Math. Forschungspapiere, pp. 3–10. Univ. Bremen, Bremen (1976)
2. Graduate Texts in Mathematics;Stanley Burris,1981
3. Conradie, W., Craig, A., Palmigiano, A., Zhao, Z.: Constructive canonicity for lattice-based fixed point logics. In: Kennedy, J., de Queiroz, R. (eds.) International Workshop on Logic, Language, Information, and Computation, WoLLIC 2017: Logic, Language, Information, and Computation. Theoretical Computer Science and General Issues, vol. 10388, pp. 92–109. Springer, Berlin (2017)
4. Conradie, W., Ghilardi, S., Palmigiano, A.: Unified correspondence. In: Baltag, A., Smets, S. (eds.) Johan van Benthem on Logic and Information Dynamics. Outstanding Contributions to Logic, vol. 5, pp. 933–975. Springer, Basel (2014)
5. Dunn, J.M., Gehrke, M., Palmigiano, A.: Canonical extensions and relational completeness of some substructural logics. J. Symb. Log. 70, 713–740 (2005)