Intersection preserving and global expansions of subalgebras and filters in lattice implication algebras

From MaRDI portal
Publication:998179