Supersound many-valued logics and Dedekind-MacNeille completions
scientific article; zbMATH DE number 5646248