Operator residuation in orthomodular posets of finite height

From MaRDI portal
Publication:6588984