CSL-lean: A Theorem-prover for the Logic of Comparative Concept Similarity.
Régis AlendaNicola OlivettiGian Luca PozzatoPublished in: Electron. Notes Theor. Comput. Sci. (2010)
Keyphrases
- theorem prover
- automated reasoning
- natural deduction
- automated theorem proving
- higher order logic
- computer algebra
- proof search
- first order logic
- theorem proving
- boolean algebra
- inference rules
- set theory
- term rewriting
- similarity measure
- formal proof
- formal logic
- proof planning
- predicate calculus
- classical logic
- distance measure
- mathematical knowledge
- proof procedure
- timed automata
- sequent calculus
- linear logic
- modal logic
- logic programming
- knowledge representation