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
The classical AI planning problems in the mirror of Horn linear logic: semantics, expressibility, complexity
TL;DR: Horn linear logic is introduced as a comprehensive logical system capable of handling the typical AI problem of making a plan of the actions to be performed by a robot so that he could get into a set of final situations, if he started with a certain initial situation.
Book ChapterDOI
L-Nets, strategies and proof-nets
TL;DR: It is shown how L-nets satisfying an additional condition, which is called logical L- nets, can be sequentialized into traditional tree-like strategies, and vice-versa.
Book ChapterDOI
Intuitionistic formal spaces and their neighbourhood
TL;DR: In this paper, the authors provide simple and complete propositional semantics for Girard's linear logic and for usual intuitionistic logic, by isolating and disregarding those conditions which correspond to the structural rules of weakening and contraction.
Book ChapterDOI
Many-Valued Logic And Fuzzy Set Theory
TL;DR: This chapter discusses the relationship between fuzzy set theory and many-valued logic and how this relationship changed during the development of fuzzy sets.
Journal ArticleDOI
Semantics for Specialising Attack Trees based on Linear Logic
Ross Horne,Sjouke Mauw,Alwen Tiu +2 more
TL;DR: In this paper, causal attack trees are extended with an operator capturing the causal order of sub-goals in an attack, which can be used to compare attack trees to determine whether one attack tree is a specialisation of another attack tree.