Closure Spaces and Logic