Journal of Symbolic Logic

The Shuffle Hopf Algebra and Noncommutative Full Completeness

R. F. Blute and P. J. Scott

Full-text is available via JSTOR, for JSTOR subscribers. Go to this article in JSTOR.

Abstract

We present a full completeness theorem for the multiplicative fragment of a variant of noncommutative linear logic, Yetter's cyclic linear logic (CyLL). The semantics is obtained by interpreting proofs as dinatural transformations on a category of topological vector spaces, these transformations being equivariant under certain actions of a noncocommutative Hopf algebra called the shuffie algebra. Multiplicative sequents are assigned a vector space of such dinaturals, and we show that this space has as a basis the denotations of cut-free proofs in CyLL + MIX. This can be viewed as a fully faithful representation of a free *-autonomous category, canonically enriched over vector spaces. This paper is a natural extension of the authors' previous work, "Linear Lauchli Semantics", where a similar theorem is obtained for the commutative logic MLL + MIX. In that paper, we interpret proofs as dinaturals which are invariant under certain actions of the additive group of integers. Here we also present a simplification of that work by showing that the invariance criterion is actually a consequence of dinaturality. The passage from groups to Hopf algebras in this paper corresponds to the passage from commutative to noncommutative logic. However, in our noncommutative setting, one must still keep the invariance condition on dinaturals.

Article information

Source
J. Symbolic Logic, Volume 63, Issue 4 (1998), 1413-1436.

Dates
First available in Project Euclid: 6 July 2007

Permanent link to this document
https://projecteuclid.org/euclid.jsl/1183745640

Mathematical Reviews number (MathSciNet)
MR1665747

Zentralblatt MATH identifier
0926.03077

JSTOR
links.jstor.org

Citation

Blute, R. F.; Scott, P. J. The Shuffle Hopf Algebra and Noncommutative Full Completeness. J. Symbolic Logic 63 (1998), no. 4, 1413--1436. https://projecteuclid.org/euclid.jsl/1183745640


Export citation