Linear logic
Jean-Yves Girard
- Vol. 50, Iss: 1, pp 1
Reads0
Chats0
About:
The article was published on 1987-01-30 and is currently open access. It has received 3947 citations till now. The article focuses on the topics: Affine logic & Substructural logic.read more
Citations
More filters
Journal ArticleDOI
Polyadic approximations, fibrations and intersection types
TL;DR: This work develops a general framework for building systems of intersection types characterizing normalization properties and shows how this construction allows us to recover equivalent versions of every well known intersection type system.
Book ChapterDOI
The language X : circuits, computations and classical logic
TL;DR: It is shown how, even in an untyped setting, χ can faithfully embed algebraic objects and elaborate calculi, like the naturals, the λ-calculus, Bloe and Rose's calculus of explicit substitutions λx, and Parigot’s λμ.
Book ChapterDOI
High Level Specification of I/O in Functional Languages
TL;DR: A new solution for the I/O problem which is incorporated in the language Concurrent Clean and can in principle be applied for any other functional language as well provided that it actually uses graph rewriting semantics in the implementation.
Book ChapterDOI
Logic Programming and Multi-Agent Systems: A Synergic Combination for Applications and Semantics
TL;DR: This paper presents an ongoing research project that uses Logic Programming, Linear Logic programming, and their related techniques for executable specifications and rapid prototyping of Multi-Agent Systems.
Journal ArticleDOI
Local possibilistic logic
Luca Boldrin,Claudio Sossai +1 more
TL;DR: An algebraic semantics is presented which links possibilistic formulae with information states, and gives a natural interpretation of logical connectives as operations on fuzzy sets, to obtain a system which shares several features with (exponential-free) intuitionistic linear logic.