A Noncommutative Full Completeness Theorem (extended Abstract)


We present a full completeness theorem for the multiplicative fragment of a variant of noncommutative linear logic known as cyclic linear logic (CyLL), rst deened by Yetter. The semantics is obtained by considering dinatural transformations on a category of topological vector spaces which are invariant under certain actions of a noncocommutative Hopf… (More)


Cite this paper

@inproceedings{CompletenessTheorem1996ANF, title={A Noncommutative Full Completeness Theorem (extended Abstract)}, author={Noncommutative Full CompletenessTheorem and Richard Blute and P. J. Scott}, year={1996} }