CSLLean

MaRDI QIDQ21961swMATHFDO

Official website http://www.di.unito.it/~pozzato/csllean/

Described by source

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

Cited in

(9)

• Logics for approximate entailment in ordered universes of discourse
• Tableau calculus for the logic of comparative similarity over arbitrary distance spaces
• CondLean
• CSymLean
• KLMLean
• NESCOND
• tuCLEVER
• CSymLean: A Theorem Prover for the Logic CSL over Symmetric Minspaces
• MOIN

This page was built for software: CSLLean