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

From MaRDI portal
(Redirected from Publication:1329316)