Pages that link to "Item:Q3648718"
From MaRDI portal
The following pages link to Comparative Concept Similarity over Minspaces: Axiomatisation and Tableaux Calculus (Q3648718):
Displayed 6 items.
- Logics for approximate entailment in ordered universes of discourse (Q256484) (← links)
- Editorial: Weighted logics for artificial intelligence -- an introductory discussion (Q465578) (← links)
- Logic of approximate entailment in quasimetric spaces (Q899186) (← links)
- Preferential Semantics for the Logic of Comparative Similarity over Triangular and Metric Models (Q2915053) (← links)
- CSymLean: A Theorem Prover for the Logic CSL over Symmetric Minspaces (Q3010357) (← links)
- CSL-lean: A Theorem-prover for the Logic of Comparative Concept Similarity (Q3185758) (← links)