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
Book ChapterDOI
Applied Type System
TL;DR: Applied Type System (\(\mathcal{ATS) as discussed by the authors ) is a type system that can accommodate many common realistic programming features such as general recursion, recursive types, effects (e.g., exceptions, references, input/output), etc.
Book ChapterDOI
Why Play Logical Games
TL;DR: This paper critically examine two available answers to the question of what it means to play logical games, and proposes an alternative based on the theory of assertions developed by Dummett and Brandom.
Proceedings ArticleDOI
An Intuitionistic Logic that Proves Markov's Principle
TL;DR: An intuitionistic predicate logic that supports a limited amount of classical reasoning, just enough to prove a variant of Markov's principle suited for predicate logic.
Proceedings ArticleDOI
Rigid E-unification is NP-complete
TL;DR: It is shown that rigid E-unification is NP-complete and that finite complete sets of rigid E -unifiers always exist, and deciding whether a family of mated sets is an equational mating is an NP- complete problem.
Book ChapterDOI
On Proof Nets for Multiplicative Linear Logic with Units
TL;DR: A theory of proof nets for full multiplicative linear logic, including the two units, is presented, which naturally extends the well-known theory of unit-free multiplicative proof nets.