Residuation in lattice effect algebras

From MaRDI portal
Publication:2035280