Orthomodular lattices whose MacNeille completions are not orthomodular

From MaRDI portal
Publication:1182045