Towards a semantics of proofs for non-commutative logic: multiplicatives and additives

Interpretation of proofs of the multiplicative-additive fragment of non-commutative logic, by using bimodules on coherent spaces and bilinear functions.

[1]  Paul Ruet,et al.  Non-commutative logic II: sequent calculus and phase semantics , 2000, Mathematical Structures in Computer Science.

[2]  J. Lambek Bilinear logic in algebra and linguistics , 1995 .

[3]  Paul Ruet,et al.  Non-Commutative Logic I: The Multiplicative Fragment , 1999, Ann. Pure Appl. Log..

[4]  David N. Yetter,et al.  Quantales and (noncommutative) linear logic , 1990, Journal of Symbolic Logic.

[5]  Jean-Yves Girard,et al.  Linear Logic , 1987, Theor. Comput. Sci..

[6]  J. Lambek The Mathematics of Sentence Structure , 1958 .

[7]  J. Girard,et al.  Advances in Linear Logic , 1995 .

[8]  Jean-Yves Girard On Denotational Completeness , 1999, Theor. Comput. Sci..

[9]  Jean-Yves Girard,et al.  Linear logic: its syntax and semantics , 1995 .