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.

Links

PhilArchive

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Linear logic model of state revisited.V. de Paiva - 2014 - Logic Journal of the IGPL 22 (5):791-804.
A note on full intuitionistic linear logic.G. M. Bierman - 1996 - Annals of Pure and Applied Logic 79 (3):281-287.
Full intuitionistic linear logic.Martin Hyland & Valeria de Paiva - 1993 - Annals of Pure and Applied Logic 64 (3):273-291.
Concurrent systems analysis using ECATNets.F. Belala, M. Bettaz & L. Petrucci-Dauchy - 2000 - Logic Journal of the IGPL 8 (2):149-164.
Teoría de los algoritmos lineales de convergencia y de sumación.Julio Rey Pastor - 2006 - Logroño: Gobierno de la Rioja, Instituto de Estudios Riojanos. Edited by Emilio Fernández Moral, Antonio J. Duran & Luis Español González.
The completeness of linear logic for Petri net models.K. Ishihara & K. Hiraishi - 2001 - Logic Journal of the IGPL 9 (4):549-567.

Analytics

Added to PP
2015-02-13

Downloads
302 (#71,474)

6 months
97 (#58,146)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Valeria Correa Vaz De Paiva
University of Birmingham

Citations of this work

Full intuitionistic linear logic.Martin Hyland & Valeria de Paiva - 1993 - Annals of Pure and Applied Logic 64 (3):273-291.

Add more citations

References found in this work

No references found.

Add more references