三、线性命题串形演算在近邻空间中的语义解释 　　从近邻空间语义中将看到线性逻辑的优美结构。这里只考虑命题演算部分，令 p, q , r … 是原子命题。对每一个原子命题，我们指派一个近邻空间：p* , q* , r* …。由公式的归纳定义，它们正好对应于 8.4.1 中的近邻空间的"算子"：对任意的近邻空间 X, Y ,早已有了 X┴ , XY, X￡Y, XY. X&Y , XY 的定义。所以，任一公式 A 在原始指派下，对应于一个唯一确定的近邻空间。要将这个对应扩充到串形及推理规则的每一执行过程，最后扩充到每一个证明上。 　　定义8.4.7 　　定义8.4.8 　　定义8.4.9 　　定义8.4.10 　　定理8.4.1 存在XtY的全体团体之集与由 X 到 Y 的全体线性映射之集之间的 1 - 1 映射。