publicações Completeness for Certain Logics for Subset Spaces Documento Pruning fronts and the formation of horseshoes Documento