Studies in lattice theory with special reference to complete modular lattices, supermodular semilattices and some problems of G Birkhoff and G Gratzer