✦ LIBER ✦

Remarks on Elementary Linear Logic: Preliminary Report

✍ Scribed by Marco Pedicini

Publisher: Elsevier Science
Year: 1996
Tongue: English
Weight: 572 KB
Volume: 3
Category: Article
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(05)80419-0

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Some remarks on cyclic linear logic prel

Some remarks on cyclic linear logic preliminary report

✍ François Métayer 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 368 KB

Broadening the denotational semantics of

Broadening the denotational semantics of linear logic: (Preliminary Report)

✍ Vaughan Pratt 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 527 KB

Linear Logic for Taxonomical Networks an

Linear Logic for Taxonomical Networks and Database Updates Preliminary Report

✍ Christophe Fouqueré; Jacqueline Vauzeilles 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 841 KB

The aim of this paper is to propose a logical way to handle uncertain knowledge and change. Databases, diagnostic, plani cation, taxonomy are some of the domains concerned by this problem. This paper focuses on the means Linear Logic o ers to represent taxonomical networks and to perform updates of

Simulating Computations in Second Order

Simulating Computations in Second Order Non-Commutative Linear Logic (Preliminary Report)

✍ Max I. Kanovich 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 36 KB

A preliminary report on radical yield al

A preliminary report on radical yield alternation in even and odd linear alkanes irradiated at 77 K: ESR evidence

✍ Mitsuhara Fukaya; Kazumi Toriyama; Machio Iwasaki; Takahisa Ichikawa; Nobuaki Oh 📂 Article 📅 1983 🏛 Elsevier Science ⚖ 231 KB