Continuous logic and embeddings of Lebesgue spaces.
Timothy H. McNichollPublished in: Arch. Math. Log. (2021)
Keyphrases
- discrete data
- low dimensional
- low dimensional spaces
- logic programming
- modal logic
- multi valued
- hilbert space
- vector space
- asynchronous circuits
- piecewise linear
- deontic logic
- continuous domains
- sound and complete axiomatization
- proof theory
- predicate logic
- classical logic
- logical framework
- neural network
- inference rules
- high dimensional data
- dimensionality reduction
- case study