Formalized Conceptual Spaces with a Geometric Representation of Correlations