Tag: linear-logic

11 items with this tag.

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