Sciweavers

TABLEAUX
2009
Springer
13 years 11 months ago
Comparative Concept Similarity over Minspaces: Axiomatisation and Tableaux Calculus
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 thi...
Régis Alenda, Nicola Olivetti, Camilla Schw...