Results 1  10
of
24,747
Classical linear logic of implications
 In Proc. Computer Science Logic (CSL'02), Springer Lecture Notes in Comp. Sci. 2471
, 2002
"... Abstract. We give a simple term calculus for the multiplicative exponential fragment of Classical Linear Logic, by extending Barber and Plotkin’s system for the intuitionistic case. The calculus has the nonlinear andlinear implications as the basic constructs, andthis design choice allows a technica ..."
Abstract

Cited by 11 (4 self)
 Add to MetaCart
Abstract. We give a simple term calculus for the multiplicative exponential fragment of Classical Linear Logic, by extending Barber and Plotkin’s system for the intuitionistic case. The calculus has the nonlinear andlinear implications as the basic constructs, andthis design choice allows a
Computational interpretations of classical linear logic
 LNCS
, 2007
"... Abstract. We survey several computational interpretations of classical linear logic based on twoplayer onemove games. The moves of the games are higherorder functionals in the language of finite types. All interpretations discussed treat the exponentialfree fragment of linear logic in a common w ..."
Abstract

Cited by 4 (3 self)
 Add to MetaCart
Abstract. We survey several computational interpretations of classical linear logic based on twoplayer onemove games. The moves of the games are higherorder functionals in the language of finite types. All interpretations discussed treat the exponentialfree fragment of linear logic in a common
Modified realizability interpretation of classical linear logic
 In Proceedings of Logic in Computer Science (LiCS
, 2007
"... This paper presents a modified realizability interpretation of classical linear logic. The interpretation is based on work of de Paiva (1989), Blass (1995), and Shirahata (2006) on categorical models of classical linear logic using Gödel’s Dialectica interpretation. Whereas the Dialectica categories ..."
Abstract

Cited by 5 (4 self)
 Add to MetaCart
This paper presents a modified realizability interpretation of classical linear logic. The interpretation is based on work of de Paiva (1989), Blass (1995), and Shirahata (2006) on categorical models of classical linear logic using Gödel’s Dialectica interpretation. Whereas the Dialectica
A computational model of classical linear logic: Is classical linear logic inherently parallel?
, 1997
"... This paper provides a computational model that uses no parallelism, thus suggesting that there is no inherent link between classical linear logic and parallelism. The involutive negation of classical linear logic is usually given an intuitive explanation in terms of interchanging `questions' an ..."
Abstract
 Add to MetaCart
This paper provides a computational model that uses no parallelism, thus suggesting that there is no inherent link between classical linear logic and parallelism. The involutive negation of classical linear logic is usually given an intuitive explanation in terms of interchanging `questions
Acceptors as values: Functional programming in classical linear logic
, 1991
"... Girard’s linear logic has been previously applied to functional programming for performing statemanipulation and controlling storage reuse. These applications only use intuitionistic linear logic, the subset of linear logic that embeds intuitionistic logic. Full linear logic (called classical linea ..."
Abstract

Cited by 2 (1 self)
 Add to MetaCart
Girard’s linear logic has been previously applied to functional programming for performing statemanipulation and controlling storage reuse. These applications only use intuitionistic linear logic, the subset of linear logic that embeds intuitionistic logic. Full linear logic (called classical
Lecture Notes on Classical Linear Logic 15816: Linear Logic
, 2012
"... Originally, linear logic was conceived by Girard [Gir87] as a classical system, with onesided sequents, an involutive negation, and an appropriate law of excluded middle. For a number of the applications, such as functional computation, logic programming, and implicit computational complexity the i ..."
Abstract
 Add to MetaCart
Originally, linear logic was conceived by Girard [Gir87] as a classical system, with onesided sequents, an involutive negation, and an appropriate law of excluded middle. For a number of the applications, such as functional computation, logic programming, and implicit computational complexity
On Resolution in Fragments of Classical Linear Logic (Extended Abstract)
"... ) J.A. Harland y D.J. Pym z University of Melbourne University of Edinburgh Australia Scotland, U.K. Abstract We present a prooftheoretic foundation for logic programming in Girard's linear logic. We exploit the permutability properties of twosided linear sequent calculus to identify a ..."
Abstract

Cited by 16 (3 self)
 Add to MetaCart
) J.A. Harland y D.J. Pym z University of Melbourne University of Edinburgh Australia Scotland, U.K. Abstract We present a prooftheoretic foundation for logic programming in Girard's linear logic. We exploit the permutability properties of twosided linear sequent calculus to identify
A Static Analysis of a Classical Linear Logic Programming Language
, 2000
"... In this thesis, we propose a new static analysis method which is applicable for a classical linear logic programming language. Andreoli et al. proposed a static analysis method for the classical linear logic programming language LO, but their method did not cover the multiplicative conjunction whi ..."
Abstract
 Add to MetaCart
In this thesis, we propose a new static analysis method which is applicable for a classical linear logic programming language. Andreoli et al. proposed a static analysis method for the classical linear logic programming language LO, but their method did not cover the multiplicative conjunction
A Static Analysis Method for a Classical Linear Logic Programming Language
 Information Processing Society of Japan Transactions on Programming
, 2000
"... In this paper, we propose a new static analysis method which is applicable for a classical linear logic programming language. Andreoli et al. proposed a static analysis method for the classical linear logic programming language LO, but their method did not cover multiplicative connectives which are ..."
Abstract

Cited by 1 (1 self)
 Add to MetaCart
In this paper, we propose a new static analysis method which is applicable for a classical linear logic programming language. Andreoli et al. proposed a static analysis method for the classical linear logic programming language LO, but their method did not cover multiplicative connectives which
A Linear/Producer/Consumer model of Classical Linear Logic
, 2014
"... This paper defines a new proof and categorytheoretic framework for classical linear logic that separates reasoning into one linear regime and two persistent regimes corresponding to! and?. The resulting linear/producer/consumer (LPC) logic puts the three classes of propositions on the same semant ..."
Abstract

Cited by 1 (1 self)
 Add to MetaCart
This paper defines a new proof and categorytheoretic framework for classical linear logic that separates reasoning into one linear regime and two persistent regimes corresponding to! and?. The resulting linear/producer/consumer (LPC) logic puts the three classes of propositions on the same
Results 1  10
of
24,747