CSLLean

swMATH9984MaRDI QIDQ21961FDOQ21961

Author name not available (Why is that?)

Described by source

• CSL-lean: A Theorem-prover for the Logic of Comparative Concept Similarity

Cited In (3)

• Logics for approximate entailment in ordered universes of discourse
• CSymLean: A Theorem Prover for the Logic CSL over Symmetric Minspaces
• Tableau Calculus for the Logic of Comparative Similarity over Arbitrary Distance Spaces

This page was built for software: CSLLean