Lineales

O Que Nos Faz Pensar:107-123 (1991)
  Copy   BIBTEX

Abstract

The first aim of this note is to describe an algebraic structure, more primitive than lattices and quantales, which corresponds to the intuitionistic flavour of Linear Logic we prefer. This part of the note is a total trivialisation of ideas from category theory and we play with a toy-structure a not distant cousin of a toy-language. The second goal of the note is to show a generic categorical construction, which builds models for Linear Logic, similar to categorical models GC of [deP1990], but more general. The ultimate aim is to relate different categorical models of linear logic.

Author's Profile

Valeria Correa Vaz De Paiva
University of Birmingham

Analytics

Added to PP
2015-02-13

Downloads
267 (#62,408)

6 months
68 (#71,641)

Historical graph of downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.
How can I increase my downloads?