Comparative Concept Similarity over Minspaces: Axiomatisation and Tableaux Calculus