Tableau calculi for CSL over minspaces

DOI10.1007/978-3-642-15205-4_8MaRDI QIDQ3586033zbMATH OpenOpenAlexFDO

Authors Régis Alenda, N. Olivetti, Dmitry Tishkovsky, Camilla Schwind

Publication date 3 September 2010

Published in Computer Science Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-15205-4_8

Mathematics Subject Classification ID

Model theory of finite structures (03C13) Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Recommendations

• Tableau calculus for the logic of comparative similarity over arbitrary distance spaces
• Comparative concept similarity over minspaces: axiomatisation and tableaux calculus
• Preferential Semantics for the Logic of Comparative Similarity over Triangular and Metric Models
• CSL-\textsf{lean}: a theorem-prover for the logic of comparative concept similarity
• CSymLean: A Theorem Prover for the Logic CSL over Symmetric Minspaces

Cited in

(5)

• Preferential Semantics for the Logic of Comparative Similarity over Triangular and Metric Models
• CSymLean: A Theorem Prover for the Logic CSL over Symmetric Minspaces
• CSL-\textsf{lean}: a theorem-prover for the logic of comparative concept similarity
• Comparative concept similarity over minspaces: axiomatisation and tableaux calculus
• Tableau calculus for the logic of comparative similarity over arbitrary distance spaces

This page was built for publication: Tableau calculi for \(\mathcal{CSL}\) over minspaces

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3586033)