Skip to content

Advances in Linear Logic

Spend $50 to get a free movie!

ISBN-10: 0521559618

ISBN-13: 9780521559614

Edition: 1995

Authors: Jean-Yves Girard, Yves Lafont, Laurent Regnier, J. W. S. Cassels, N. J. Hitchin

List price: $72.99
Blue ribbon 30 day, 100% satisfaction guarantee!
Out of stock
what's this?
Rush Rewards U
Members Receive:
Carrot Coin icon
XP icon
You have reached 400 XP and carrot coins. That is the daily max!


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.
Customers also bought

Book details

List price: $72.99
Copyright year: 1995
Publisher: Cambridge University Press
Publication date: 6/22/1995
Binding: Paperback
Pages: 400
Size: 6.02" wide x 8.90" long x 0.91" tall
Weight: 1.232
Language: English

Linear logic: its syntax and semantics
Categories and Semantics
Bilinear logic in algebra and linguistics
A category arising in linear logic, complexity theory and set theory
Hypercoherences: a strongly stable model of linear logic
Complexity and Expressivity
Deciding provability of linear logic formulas
The direct simulation of Minsky machines in linear logic
Stochastic interaction and linear logic
Inheritance with exceptions
Proof Theory
On the fine structure of the exponential rule
Sequent calculi for second order logic
Proff Nets
From proof nets to interaction nets
Empires and kingdoms in MLL
Noncommutative proof nets
Volume of multiplicative formulas and provability
Geometry of Interaction
Proof nets and Hilbert space
Geometry of interacion III: accomodating the additives