Advances in Linear Logic
by Edited by Jean-Yves Girard , Yves Lafont , Laurent RegnierFormat: Paperback
Pub. Date: 1995-06-30
Publisher(s): Cambridge University Press
Other versions by this Author
List Price: $87.74
Buy New
Usually Ships in 8 - 10 Business Days.
$83.56
Rent Textbook
Select for Price
Used Textbook
We're Sorry
Sold Out
eTextbook
We're Sorry
Not Available
How Marketplace Works:
- This item is offered by an independent seller and not shipped from our warehouse
- Item details like edition and cover design may differ from our description; see seller's comments before ordering.
- Sellers much confirm and ship within two business days; otherwise, the order will be cancelled and refunded.
- Marketplace purchases cannot be returned to eCampus.com. Contact the seller directly for inquiries; if no response within two days, contact customer service.
- Additional shipping costs apply to Marketplace purchases. Review shipping costs at checkout.
Summary
This volume gives an overview of linear logic in five parts: category theory; complexity and expressivity; proof theory; proof nets; and the geometry of interaction. The book includes a general introduction to linear logic that will ensure this book's use by the novice as well as the expert. Mathematicians and computer scientists will learn much from this book.
Table of Contents
| Linear logic: its syntax and semantics J. Y. Girard | |
| Part I. Categories and Semantics: 1. Bilinear logic in algebra and linguistics J. Lambek | |
| 2. A category arising in linear logic, complexity theory and set theory A. Blass | |
| 3. Hypercoherences: a strongly stable model of linear logic T. Erhard | |
| Part II. Complexity and Expressivity: 4. Deciding provability of linear logic formulas P. D. Lincoln | |
| 5. The direct simulation of Minsky machines in linear logic M. I. Kanovich | |
| 6. Stochastic interaction and linear logic P. D. Lincoln, J. Mitchell and A. Scedrov | |
| 7. Inheritance with exceptions C. Fouqueré | |
| and J. Vauzeilles | |
| Part III. Proof Theory: 8. On the fine structure of the exponential rule S. Martini and A. Masini | |
| 9. Sequent calculi for second order logic V. Danos, J. B. Joinet and H. Schellinx | |
| Part IV. Proff Nets: 10. From proof nets to interaction nets Y. Lafont | |
| 11. Empires and kingdoms in MLL G. Bellin and J. Van De Wiele | |
| 12. Noncommutative proof nets V. M. Abrusci | |
| 13. Volume of multiplicative formulas and provability F. Metayer | |
| Part V. Geometry of Interaction: 14. Proof nets and Hilbert space V. Danos and L. Regnier | |
| 15. Geometry of interacion III: accomodating the additives J. Y. Girard. |
An electronic version of this book is available through VitalSource.
This book is viewable on PC, Mac, iPhone, iPad, iPod Touch, and most smartphones.
By purchasing, you will be able to view this book online, as well as download it, for the chosen number of days.
Digital License
You are licensing a digital product for a set duration. Durations are set forth in the product description, with "Lifetime" typically meaning five (5) years of online access and permanent download to a supported device. All licenses are non-transferable.
More details can be found here.
A downloadable version of this book is available through the eCampus Reader or compatible Adobe readers.
Applications are available on iOS, Android, PC, Mac, and Windows Mobile platforms.
Please view the compatibility matrix prior to purchase.