用語：
- https://en.wikipedia.org/wiki/Atomic_formula
- atomic, atom
- https://en.wikipedia.org/wiki/Literal_(mathematical_logic)
- literal
- positive literal
- negative literal
- complementary literal
対応：
| テンソル計算 | 論理 |
|---|---|
| アトム空間 | アトム |
| 正リテラル空間 | 正リテラル |
| 負リテラル空間 | 負リテラル |
| テンソル積 | 連言 |
| ベクトル空間 | 命題、論理式 |
| テンソル空間の型 | 論理式リスト |
| テンソルプロファイル | シーケント |
| テンソルプロファイル変形 | シーケント推論・証明 |
インデックスなら：
| インデックス計算 | 論理 |
|---|---|
| アトム・インデックス集合） | アトム |
| 正リテラル・インデックス集合 | 正リテラル |
| 負リテラル・インデックス集合 | 負リテラル |
| 直積 | 連言 |
| 複合インデックス集合 | 命題、論理式 |
| インデックス集合のリスト | 論理式リスト |
| インデックスプロファイル | シーケント |
| インデックスプロファイル変形 | シーケント推論・証明 |
テンソル計算の対象物は：
特殊テンソル：
- スカラー
- ベクトル
- コベクトル
- 形式
- 余形式
