Advances in Linear Logic

Name: Advances in Linear Logic
Price: 75.27 USD
Availability: InStock
ISBN: 9780521559614

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: $76.99

30 day, 100% satisfaction guarantee!

Marketplace

1 new & used from $75.27

what's this?

Rush Rewards U
Members Receive:

You have reached 400 XP and carrot coins. That is the daily max!

Description:

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.

Book details

List price: $76.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