Chajda, I., Länger, H., & Paseka, J. (2021). Residuated operators and Dedekind-MacNeille completion. In D. Fazio, A. Ledda, & F. Paoli (Eds.), Algebraic Perspectives on Substructural Logics (pp. 57–72). Springer Nature Switzerland AG. https://doi.org/10.1007/978-3-030-52163-9_5