CSLLean

swMATH9984MaRDI QIDQ21961FDOQ21961

Author name not available (Why is that?)

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
• tuCLEVER
• Tableau calculus for the logic of comparative similarity over arbitrary distance spaces
• CondLean
• CSymLean
• KLMLean
• NESCOND
• MOIN
• CSymLean: A Theorem Prover for the Logic CSL over Symmetric Minspaces

This page was built for software: CSLLean