𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Operational interpretations of linear logic

✍ Scribed by David N. Turner; Philip Wadler

Publisher
Elsevier Science
Year
1999
Tongue
English
Weight
118 KB
Volume
227
Category
Article
ISSN
0304-3975

No coin nor oath required. For personal study only.

✦ Synopsis

Two di erent operational interpretations of intuitionistic linear logic have been proposed in the literature. The simplest interpretation recomputes non-linear values every time they are required. It has good memory-management properties, but is often dismissed as being too ine cient. Alternatively, one can memoize the results of evaluating non-linear values. This avoids any recomputation, but has weaker memory-management properties. Using a novel combination of type-theoretic and operational techniques we give a concise formal comparison of the two interpretations. Moreover, we show that there is a subset of linear logic where the two operational interpretations coincide. In this subset, which is su ciently expressive to encode call-by-value lambda-calculus, we can have the best of both worlds: a simple and e cient implementation, and good memory-management properties.

📜 SIMILAR VOLUMES

ON SOME INTERPRETATIONS OF CLASSICAL LOG
ON SOME INTERPRETATIONS OF CLASSICAL LOGIC
✍ Branislav R. Boričić; B. R. Boričić 📂 Article 📅 1992 🏛 John Wiley and Sons 🌐 English ⚖ 198 KB

## Abstract In distinction from the well‐known double‐negation embeddings of the classical logic we consider some variants of single‐negation embeddings and describe some classes of superintuitionistic first‐order predicate logics in which the classical first‐order calculus is interpretable in such

Rule reduction in fuzzy logic for better
Rule reduction in fuzzy logic for better interpretability in reservoir operation
✍ C. Sivapragasam; G. Vasudevan; P. Vincent; P. Sugendran; M. Marimuthu; S. Seeniv 📂 Article 📅 2007 🏛 John Wiley and Sons 🌐 English ⚖ 227 KB

## Abstract Decision‐making in reservoir operation has become easy and understandable with the use of fuzzy logic models, which represent the knowledge in terms of interpretable linguistic rules. However, the improvement in interpretability with increase in number of fuzzy sets (‘low’, ‘high’, etc)

Logical problems of functional interpret
Logical problems of functional interpretations
✍ Justus Diller 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 135 KB

G odel interpreted Heyting arithmetic HA in a "logic-free" fragment T0 of his theory T of primitive recursive functionals of ÿnite types by his famous Dialectica-translation D . This works because the logic of HA is extremely simple. If the logic of the interpreted system is di erent-in particular m