CSymLean: A Theorem Prover for the Logic CSL over Symmetric Minspaces

DOI10.1007/978-3-642-22119-4_4MaRDI QIDQ3010357zbMATH OpenOpenAlexFDO

Authors Régis Alenda, N. Olivetti

Publication date 1 July 2011

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic programming (68N17)

Recommendations

• \textsc{Minlog}: a minimal logic theorem prover
• Tools and Algorithms for the Construction and Analysis of Systems
• CSL-\textsf{lean}: a theorem-prover for the logic of comparative concept similarity
• Towards an efficient prover for the \(C_1\) paraconsistent logic
• scientific article; zbMATH DE number 3995084
• CondLean: a theorem prover for conditional logics
• Tractability through symmetries in propositional calculus
• Proof-nets, hybrid logics and minimalist representations
• A unified procedure for provability and counter-model generation in minimal implicational logic
• Proof principles of CSP -- CSP-prover in practice

Cites work

• A modal logic framework for reasoning about comparative distances and topology
• Comparative concept similarity over minspaces: axiomatisation and tableaux calculus
• Comparative Similarity, Tree Automata, and Diophantine Equations
• CSL-\textsf{lean}: a theorem-prover for the logic of comparative concept similarity
• Tableau calculi for \(\mathcal{CSL}\) over minspaces

Cited in

(2)

• CSL-\textsf{lean}: a theorem-prover for the logic of comparative concept similarity
• Tableau calculi for \(\mathcal{CSL}\) over minspaces

Describes a project that uses

Uses Software

• CSymLean
• CSLLean

This page was built for publication: CSymLean: A Theorem Prover for the Logic CSL over Symmetric Minspaces

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