Constructing Fully Complete Models of Multiplicative Linear Logic

Research output: Contribution to journalArticlepeer-review

Abstract

We demonstrate how the Hyland-Tan double glueing construction produces a fully complete model of the unit-free multiplicative fragment of Linear Logic when applied to any of a large family of degenerative ones. This process explains as special cases a number of such models which appear in the literature. In order to achieve this result, we make use of a tensor calculus for compact closed categories with finite biproducts. We show how the combinatorial properties required for a fully complete model are obtained by the construction adding to those already available from the original category.

Bibliographical metadata

Original languageEnglish
Pages (from-to)1-72
Number of pages71
JournalLogical Methods in Computer Science
Volume11
Issue number3
DOIs
Publication statusPublished - 3 Sep 2015

Related information

Researchers

View all