CSymLean: A theorem prover for the logic CSL over symmetric minspaces.The logic CSL of comparative concept similarity has been introduced by Sheremet, et al. to capture a form of qualitative similarity comparison. We present here 𝒞𝒮ymℒean, the first theorem-prover for CSL interpreted on symmetric minspaces. It is a Prolog implementation of a labelled tableau calculus recently proposed for this logic, and it is inspired by the Lean methodology.
References in zbMATH (referenced in 1 article )
Showing result 1 of 1.
- Alenda, Régis; Olivetti, Nicola: CSymLean: a theorem prover for the logic CSL over symmetric minspaces (2011)