The following pages link to Axiomatizing Distance Logics (Q3647302):
Displaying 11 items.
- A modal logic framework for reasoning about comparative distances and topology (Q636293) (← links)
- \({\mathcal E}\)-connections of abstract description systems (Q814594) (← links)
- Notes on logics of metric spaces (Q878157) (← links)
- Distance-based paraconsistent logics (Q2270429) (← links)
- Knowing-how under uncertainty (Q2289005) (← links)
- Spatial reasoning under imprecision using fuzzy set theory, formal logics and mathematical morphology (Q2488623) (← links)
- (Q4624117) (← links)
- (Q4873213) (← links)
- (Q4873222) (← links)
- From Similarity to Distance: Axiom Set, Monotonic Transformations and Metric Determinacy (Q5853258) (← links)
- An Isomorphism-Invariant Distance Function on Propositional Formulas in CNF (Q6113549) (← links)