むかーし、「一値論理」という言葉を聞いて「バカじゃないの」と思ったが、コンパクト論理は一値論理だ。単一の真偽値を「空」と呼ぶことにする。
色即是空の空で、サンスクリット語（のラテン文字表記）で śūnyatā と書き、「シューニャ」または「シューニヤター」と発音するそうだ。
英語ではvoidでいいと思う。
空の意味は「ほんとに何もない」ではなくて、「なにもない状態がある」のだそうだ。コンパクト論理の「空」は確かに「なにもないがある」を表現している。
コンパクト論理＝一値論理 は線形代数の論理であり：
| 線形代数 | コンパクト論理 |
|---|---|
| スカラー対象 | 真偽値「空」 |
| スカラー射 | 矛盾シーケント |
| ポインター | 空から色 |
| フォーム | 色から空 |
