✦ LIBER ✦

Some remarks on cyclic linear logic preliminary report

✍ Scribed by François Métayer

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

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Remarks on Elementary Linear Logic: Prel

Remarks on Elementary Linear Logic: Preliminary Report

✍ Marco Pedicini 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 572 KB

Broadening the denotational semantics of

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

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

Some remarks on (Wittgensteinian) logica

Some remarks on (Wittgensteinian) logical form

✍ Jaakko Hintikka; Merrill B. Hintikka 📂 Article 📅 1983 🏛 Springer Netherlands 🌐 English ⚖ 908 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

Some remarks on linear groups

✍ V. P. Platonov 📂 Article 📅 1968 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 149 KB

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