Girard, Jean-Yves 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) Cited in 4 ReviewsCited in 25 Documents MSC: 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 Keywords:linear logic; \(C^*\)-algebras; unification; cut-elimination; logic programming; extended sequent calculus Citations:Zbl 0686.03030; Zbl 0716.03047; Zbl 0828.03026 PDFBibTeX XMLCite \textit{J.-Y. Girard}, Lond. Math. Soc. Lect. Note Ser. 222, 329--389 (1995; Zbl 0828.03027)