Lectures on Linear Logic

✍ Scribed by A. S. Troelstra

Publisher: CSLI Publications
Year: 1992
Tongue: English
Leaves: 215
Series: Center for the Study of Language and Information - CSLI Lecture Notes 29
Edition: 1
Category: Library

No coin nor oath required. For personal study only.

✦ Synopsis

The initial sections of this text deal with syntactical matters such as logical formalism, cut-elimination, and the embedding of intuitionistic logic in classical linear logic. Concluding chapters focus on proofnets for the multiplicative fragment and the algorithmic interpretation of cut-elimination in proofnets.

📜 SIMILAR VOLUMES

Lectures on Linear Logic

📁 Lectures on Linear Logic

✍ A. S. Troelstra 📂 Library 📅 1992 🏛 Center for the Study of Language and Inf 🌐 English

Lectures on linear logic

📁 Lectures on linear logic

✍ Troelstra A.S. 📂 Library 📅 1992 🏛 CSLI Publications 🌐 English

Lectures on Linear Algebra [Lecture note

📁 Lectures on Linear Algebra [Lecture notes]

✍ G. Donald Allen 📂 Library 📅 2003 🌐 English

Lectures on Logic

📁 Lectures on Logic

✍ Immanuel Kant 📂 Library 📅 1992 🏛 Cambridge University Press 🌐 English

Lectures on Logic

📁 Lectures on Logic

✍ G.W.F. Hegel 📂 Library 📅 2008 🏛 Indiana University Press 🌐 English

Review "Butler has translated for clarity and flow, and has produced a text that reads very easily and smoothly, without sacrifice of accuracy." —John Russon, University of Guelph (John Russon, University of Guelph ) From the Publisher "Butler has translated for clarity and flow, and has produ

Lectures on Logic

📁 Lectures on Logic

✍ Immanuel Kant, J. Michael Young (editor) 📂 Library 📅 2004 🏛 Cambridge University Press 🌐 English

Kant's views on logic and logical theory play an important part in his critical writings, especially in the Critique of Pure Reason. This volume includes three previously untranslated transcripts of Kant's logic lectures: the Blomberg Logic (1770s); the Vienna Logic supplemented by the recently disc