The semantic isomorphism theorem in abstract algebraic logic | Publicación