✦ LIBER ✦

Functional interpretations of linear and intuitionistic logic

✍ Scribed by Paulo Oliva

Book ID: 113641814
Publisher: Elsevier Science
Year: 2010
Tongue: English
Weight: 282 KB
Volume: 208
Category: Article
ISSN: 0890-5401
DOI: 10.1016/j.ic.2008.11.008

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Interpreting Intuitionistic Propositiona

Interpreting Intuitionistic Propositional Logic in Terms of Intuitionistic Protothetics

✍ A.D. Yashin 📂 Article 📅 2002 🏛 Springer US 🌐 English ⚖ 206 KB

The intended interpretation of intuition

The intended interpretation of intuitionistic logic

✍ Scott Weinstein 📂 Article 📅 1983 🏛 Springer Netherlands 🌐 English ⚖ 563 KB

Non-commutative intuitionistic linear lo

Non-commutative intuitionistic linear logic

✍ V. Michele Abrusci 📂 Article 📅 1990 🏛 John Wiley and Sons 🌐 English ⚖ 945 KB

Lambda Calculus and Intuitionistic Linea

Lambda Calculus and Intuitionistic Linear Logic

✍ Simona Ronchi della Rocca; Luca Roversi 📂 Article 📅 1997 🏛 Springer Netherlands 🌐 English ⚖ 340 KB

Operational interpretations of linear lo

Operational interpretations of linear logic

✍ David N. Turner; Philip Wadler 📂 Article 📅 1999 🏛 Elsevier Science 🌐 English ⚖ 118 KB

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,

Interpretations of intuitionist logic in

Interpretations of intuitionist logic in non-normal modal logics

✍ Colin Oakes 📂 Article 📅 1999 🏛 Springer Netherlands 🌐 English ⚖ 93 KB