Heyting Algebras with Kalman-Galois Connections | Publicación