zbMATH — the first resource for mathematics

Geometry of interaction. III: Accommodating the additives. (English) Zbl 0828.03027
Girard, Jean-Yves (ed.) et al., Advances in linear logic. Based on the linear logic workshop held June 14-18, 1993 at the Mathematical Sciences Institute, Cornell University, Ithaca, New York, USA. Cambridge: Cambridge University Press. Lond. Math. Soc. Lect. Note Ser. 222, 329-389 (1995).
[For reviews of Parts I and II see Zbl 0686.03030 and Zbl 0716.03047, respectively.]
This paper coincides with the author’s “On geometry of interaction” [Zbl 0828.03026].
For the entire collection see [Zbl 0816.00018].
Reviewer: G.Mints (Stanford)

03F05 Cut-elimination and normal-form theorems
03B20 Subsystems of classical logic (including intuitionistic logic)
03B70 Logic in computer science
68N17 Logic programming
46L99 Selfadjoint operator algebras (\(C^*\)-algebras, von Neumann (\(W^*\)-) algebras, etc.)
68Q55 Semantics in the theory of computing