Parameterized simplification logic I: reasoning with implications and classes of closure operators | Publicación