Comparative concept similarity over Minspaces: Axiomatisation and Tableaux Calculus

Régis Alenda, Nicola Olivetti, Camilla Schwind

We study the logic of comparative concept similarity $\CSL$ introduced by Sheremet, Tishkovsky, Wolter and Zakharyaschev to capture a form of qualitative similarity comparison. In…