CSL-\textsf{lean}: a theorem-prover for the logic of comparative concept similarity

DOI10.1016/J.ENTCS.2010.04.002MaRDI QIDQ3185758zbMATH OpenOpenAlexFDO

Authors Régis Alenda, N. Olivetti, G. L. Pozzato

Publication date 5 August 2016

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2010.04.002

zbMATH Keywords

comparative concept similaritylean methodologylogic programmingtableaux calculi

Mathematics Subject Classification ID

Logic programming (68N17) Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Recommendations

• CSymLean: A Theorem Prover for the Logic CSL over Symmetric Minspaces
• Tableau calculi for \(\mathcal{CSL}\) over minspaces
• Comparative concept similarity over minspaces: axiomatisation and tableaux calculus
• Tableau calculus for the logic of comparative similarity over arbitrary distance spaces
• Preferential Semantics for the Logic of Comparative Similarity over Triangular and Metric Models

Cites work

• A Logic for Concepts and Similarity
• A modal logic framework for reasoning about comparative distances and topology
• Automated Reasoning About Metric and Topology
• Automated Reasoning with Analytic Tableaux and Related Methods
• Comparative concept similarity over minspaces: axiomatisation and tableaux calculus
• Comparative Similarity, Tree Automata, and Diophantine Equations
• CondLean: a theorem prover for conditional logics
• Counterfactuals.
• scientific article; zbMATH DE number 3708349 (Why is no real title available?)
• KLMLean 2.0: A Theorem Prover for KLM Logics of Nonmonotonic Reasoning
• lean TAP revisited
• lean\(T^ AP\): Lean tableau-based deduction
• Modal logics for metric spaces: open problems
• Nonmonotonic reasoning, preferential models and cumulative logics
• Theorem proving for conditional logics: CondLean and GOALDUCK
• What does a conditional knowledge base entail?

Cited in

(7)

• CSLLean
• Logics for approximate entailment in ordered universes of discourse
• CSymLean: A Theorem Prover for the Logic CSL over Symmetric Minspaces
• Tableau calculi for \(\mathcal{CSL}\) over minspaces
• Comparative concept similarity over minspaces: axiomatisation and tableaux calculus
• Tableau calculus for the logic of comparative similarity over arbitrary distance spaces
• Mechanising Gödel-Löb provability logic in HOL light

Describes a project that uses

Uses Software

• leanTAP
• CondLean
• KLMLean

This page was built for publication: CSL-\textsf{lean}: a theorem-prover for the logic of comparative concept similarity

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