The following pages link to Notes on logics of metric spaces (Q878157):
Displaying 10 items.
- Logics for approximate entailment in ordered universes of discourse (Q256484) (← links)
- Logic of approximate entailment in quasimetric spaces (Q899186) (← links)
- Logical metatheorems for abstract spaces axiomatized in positive bounded logic (Q908073) (← links)
- Logics for approximate and strong entailments (Q1759706) (← links)
- Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design (Q1931353) (← links)
- (Q3085174) (← links)
- Logic for metric structures and the number of universal sofic and hyperlinear groups (Q3190346) (← links)
- Axiomatizing Distance Logics (Q3647302) (← links)
- (Q4551182) (← links)
- Metric reasoning about λ-terms: The affine case (Q4635842) (← links)