Results 11  20
of
584,218
A games semantics for linear logic
 Ann. Pure Appl. Logic
, 1992
"... We present a game (or dialogue) semantics in the style of Lorenzen (1959) for Girard’s linear logic (1987). Lorenzen suggested that the (constructive) meaning of a proposition 91 should be specified by telling how to conduct a debate between a proponent P who asserts p and an opponent 0 who denies q ..."
Abstract

Cited by 164 (3 self)
 Add to MetaCart
We present a game (or dialogue) semantics in the style of Lorenzen (1959) for Girard’s linear logic (1987). Lorenzen suggested that the (constructive) meaning of a proposition 91 should be specified by telling how to conduct a debate between a proponent P who asserts p and an opponent 0 who denies
A Brief Guide to Linear Logic
, 1993
"... An overview of linear logic is given, including an extensive bibliography and a simple example of the close relationship between linear logic and computation. ..."
Abstract

Cited by 56 (10 self)
 Add to MetaCart
An overview of linear logic is given, including an extensive bibliography and a simple example of the close relationship between linear logic and computation.
Linear Logic Without Boxes
, 1992
"... Girard's original definition of proof nets for linear logic involves boxes. The box is the unit for erasing and duplicating fragments of proof nets. It imposes synchronization, limits sharing, and impedes a completely local view of computation. Here we describe an implementation of proof nets w ..."
Abstract

Cited by 61 (0 self)
 Add to MetaCart
Girard's original definition of proof nets for linear logic involves boxes. The box is the unit for erasing and duplicating fragments of proof nets. It imposes synchronization, limits sharing, and impedes a completely local view of computation. Here we describe an implementation of proof nets
Linear Logic in Planning
"... Linear Logic is a powerful formalism used to manage a lot of problems with resources. Linear Logic can also be used to formalize Petri Nets and to solve simple planning problems (for example ‘Block World‘). Research goes ahead also in Linear Logic Programming, which means that we have tools, that ca ..."
Abstract
 Add to MetaCart
Linear Logic is a powerful formalism used to manage a lot of problems with resources. Linear Logic can also be used to formalize Petri Nets and to solve simple planning problems (for example ‘Block World‘). Research goes ahead also in Linear Logic Programming, which means that we have tools
Decision Problems for Propositional Linear Logic
, 1990
"... Linear logic, introduced by Girard, is a refinement of classical logic with a natural, intrinsic accounting of resources. We show that unlike most other propositional (quantifierfree) logics, full propositional linear logic is undecidable. Further, we prove that without the modal storage operator, ..."
Abstract

Cited by 111 (19 self)
 Add to MetaCart
Linear logic, introduced by Girard, is a refinement of classical logic with a natural, intrinsic accounting of resources. We show that unlike most other propositional (quantifierfree) logics, full propositional linear logic is undecidable. Further, we prove that without the modal storage operator
Computational Aspects of Linear Logic
, 1992
"... Linear logic was introduced by Girard in 1987 [30] both as a "logic behind logics", and as a "resource conscious logic". This thesis investigates computational aspects of linear logic. The main results of this work support the proposition that linear logic is a computational logi ..."
Abstract

Cited by 13 (3 self)
 Add to MetaCart
Linear logic was introduced by Girard in 1987 [30] both as a "logic behind logics", and as a "resource conscious logic". This thesis investigates computational aspects of linear logic. The main results of this work support the proposition that linear logic is a computational
An Overview of Linear Logic Programming
 in Computational Logic
, 1985
"... Logic programming can be given a foundation in sequent calculus by viewing computation as the process of building a cutfree sequent proof bottomup. The first accounts of logic programming as proof search were given in classical and intuitionistic logic. Given that linear logic allows richer sequen ..."
Abstract

Cited by 14 (1 self)
 Add to MetaCart
Logic programming can be given a foundation in sequent calculus by viewing computation as the process of building a cutfree sequent proof bottomup. The first accounts of logic programming as proof search were given in classical and intuitionistic logic. Given that linear logic allows richer
Proof Strategies in Linear Logic
 JOURNAL OF AUTOMATED REASONING
, 1994
"... Linear logic, introduced by J.Y.Girard, is a refinement of classical logic providing means for controlling the allocation of "resources". It has aroused considerable interest both from proof theorists and computer scientists. In this paper we investigate methods for automated theorem prov ..."
Abstract

Cited by 25 (2 self)
 Add to MetaCart
Linear logic, introduced by J.Y.Girard, is a refinement of classical logic providing means for controlling the allocation of "resources". It has aroused considerable interest both from proof theorists and computer scientists. In this paper we investigate methods for automated theorem
Results 11  20
of
584,218