Tag: linear-logic

12 items with this tag.

Dec 14, 2025
Tangent Space
- linear-logic
Dec 14, 2025
Positive Semi-Definite Symmetric Matrix
- linear-logic
Dec 14, 2025
Positive Definite Symmetric Matrix
- linear-logic
Dec 14, 2025
Normed Vector Space
- linear-logic
Dec 14, 2025
Multiplicative Conjunction (Linear Logic)
- linear-logic
Dec 14, 2025
Multiplicative Disjunction (Linear Logic)
- linear-logic
Dec 14, 2025
Inner Product Space
- linear-logic
Dec 14, 2025
Gaussian Radial Basis Function
- linear-logic
Dec 14, 2025
Affine Subspace
- linear-logic
Dec 14, 2025
Affine Superposition
- linear-logic
Dec 14, 2025
Additive Conjunction (Linear Logic)
- linear-logic
Dec 14, 2025
Additive Disjunction (Linear Logic)
- linear-logic