There are orthomodular lattices without non-trivial group-valued states: A computer-based construction

From MaRDI portal
Publication:1329316