Results 1 - 10 of 1,402,096

Classical linear logic of implications

by Masahito Hasegawa - 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

by Paulo Oliva - LNCS , 2007
"... Abstract. We survey several computational interpretations of classical linear logic based on two-player one-move games. The moves of the games are higher-order functionals in the language of finite types. All interpretations discussed treat the exponential-free 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 two-player one-move games. The moves of the games are higher-order functionals in the language of finite types. All interpretations discussed treat the exponential-free fragment of linear logic in a common

Modified realizability interpretation of classical linear logic

by Paulo Oliva - 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?

by Magnus Carlsson, Philip Wadler , 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

by Uday S. Reddy , 1991
"... Girard’s linear logic has been previously applied to functional programming for performing state-manipulation 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 state-manipulation 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 15-816: Linear Logic

by Frank Pfenning , 2012
"... Originally, linear logic was conceived by Girard [Gir87] as a classical system, with one-sided 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 one-sided 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)

by J.A. Harland, D. J. Pym
"... ) J.A. Harland y D.J. Pym z University of Melbourne University of Edinburgh Australia Scotland, U.K. Abstract We present a proof-theoretic foundation for logic programming in Girard's linear logic. We exploit the permutability properties of two-sided 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 proof-theoretic foundation for logic programming in Girard's linear logic. We exploit the permutability properties of two-sided linear sequent calculus to identify

A Static Analysis of a Classical Linear Logic Programming Language

by Kyoung-Sun Kang , 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

by Kyoung-sun Kang, Naoyuki Tamura - 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

by Jennifer Paykin, Steve Zdancewic , 2014
"... This paper defines a new proof- and category-theoretic framework for classical linear logic that sepa-rates 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 category-theoretic framework for classical linear logic that sepa-rates 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 1,402,096