𝔖 Bobbio Scriptorium
✦   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

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


Linear Logic for Taxonomical Networks an
✍ 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