✦ LIBER ✦

Linear logic and elementary time

✍ Scribed by Vincent Danos; Jean-Baptiste Joinet

Book ID: 114273336
Publisher: Elsevier Science
Year: 2003
Tongue: English
Weight: 265 KB
Volume: 183
Category: Article
ISSN: 0890-5401
DOI: 10.1016/s0890-5401(03)00010-5

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

ELEMENTARY LOGIC

📂 Article 📅 1966 🏛 John Wiley and Sons ⚖ 160 KB

Linear Time Computable Problems and Logi

Linear Time Computable Problems and Logical Descriptions

✍ Detlef Seese 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 620 KB

Continuity and Elementary Logic

✍ Leslie H. Tharp 📂 Article 📅 1974 🏛 Association for Symbolic Logic 🌐 English ⚖ 693 KB

Continuity and Elementary Logic

✍ Leslie H. Tharp 📂 Article 📅 1974 🏛 Association for Symbolic Logic 🌐 English ⚖ 693 KB

The purpose of this paper is to investigate continuity properties arising in elementary (i.e., first-order) logic in the hope of illuminating the special status of this logic. The continuity properties turn out to be closely related to conditions which characterize elementary logic uniquely, and lea

Quantum logic and linear logic

✍ L. Román 📂 Article 📅 1994 🏛 Springer 🌐 English ⚖ 512 KB 👁 1 views