Comparative concept similarity over Minspaces: Axiomatisation and Tableaux Calculus