Las lógicas parciales de Galois implicacionales y algunas de sus extensiones, como las extensiones semilineales que satisfacen propiedades abstractas de conexión de Galois y Galois dual, han sido introducidas junto con su semántica relacional.