On Galois Correspondences In Formal Logic