Tableau Calculus for the Logic of Comparative Similarity over Arbitrary Distance Spaces

DOI10.1007/978-3-642-16242-8_5zbMath1306.68178OpenAlexW1608602381MaRDI QIDQ4933295

Régis Alenda, Nicola Olivetti

Publication date: 12 October 2010

Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-16242-8_5

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Decidability of theories and sets of sentences (03B25) Structure of proofs (03F07) Model theory of finite structures (03C13)

Related Items (2)

Preferential Semantics for the Logic of Comparative Similarity over Triangular and Metric Models ⋮ Logics for approximate entailment in ordered universes of discourse

Uses Software

• CSLLean

This page was built for publication: Tableau Calculus for the Logic of Comparative Similarity over Arbitrary Distance Spaces