Tag: linear-logic

12 items with this tag.

Mar 14, 2026
Tangent Space
- linear-logic
Mar 14, 2026
Positive Definite Symmetric Matrix
- linear-logic
Mar 14, 2026
Positive Semi-Definite Symmetric Matrix
- linear-logic
Mar 14, 2026
Odd Function
- linear-logic
Mar 14, 2026
Normed Vector Space
- linear-logic
Mar 14, 2026
Multiplicative Conjunction (Linear Logic)
- linear-logic
Mar 14, 2026
Multiplicative Disjunction (Linear Logic)
- linear-logic
Mar 14, 2026
Inner Product Space
- linear-logic
Mar 14, 2026
Affine Subspace
- linear-logic
Mar 14, 2026
Affine Superposition
- linear-logic
Mar 14, 2026
Additive Conjunction (Linear Logic)
- linear-logic
Mar 14, 2026
Additive Disjunction (Linear Logic)
- linear-logic