𝔖 Bobbio Scriptorium
✦   LIBER   ✦

On phase semantics and denotational semantics in multiplicative–additive linear logic

✍ Scribed by Antonio Bucciarelli; Thomas Ehrhard

Publisher
Elsevier Science
Year
2000
Tongue
English
Weight
218 KB
Volume
102
Category
Article
ISSN
0168-0072

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

On phase semantics and denotational sema
On phase semantics and denotational semantics: the exponentials
✍ Antonio Bucciarelli; Thomas Ehrhard 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 281 KB

We extend to the exponential connectives of linear logic the study initiated in Bucciarelli and Ehrhard (Ann. Pure. Appl. Logic 102 (3) (2000) 247). We deÿne an indexed version of propositional linear logic and provide a sequent calculus for this system. To a formula A of indexed linear logic, we as

Role of phase difference and colored cro
Role of phase difference and colored cross-correlation on current in multiplicative and additive noises driven systems
✍ Gurupada Goswami; Pradip Majee; Pulak Kumar Ghosh; Bidhan Chandra Bag 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 209 KB

We have investigated the transport properties of multiplicative and additive noise driven spatially periodic system. The phase difference between periodic potential and periodic function in multiplicative noise term and the cross-correlation between multiplicative and additive noise can break the de

Comments on the linear free-energy corre
Comments on the linear free-energy correlation between O3 and OH addition reactions reported in “rate constants for the gas-phase reactions of O3 with a series of carbonyls at 296 K”
✍ J. S. Gaffney; S. Z. Levine 📂 Article 📅 1982 🏛 John Wiley and Sons 🌐 English ⚖ 152 KB

Recently, Atkinson et al. [l] reported measurements on the reaction of ozone with a series of carbonyls. In that study a correlation between ozone addition and hydroxyl-radical addition reactions was employed to predict OH addition coefficients for acrolein and crotonaldehyde of approximately 2 X an