Advances in Linear Logic
Book Details
Format
Paperback / Softback
Book Series
London Mathematical Society Lecture Note Series
ISBN-10
0521559618
ISBN-13
9780521559614
Publisher
Cambridge University Press
Imprint
Cambridge University Press
Country of Manufacture
GB
Country of Publication
GB
Publication Date
Jun 22nd, 1995
Print length
400 Pages
Weight
570 grams
Dimensions
22.60 x 15.30 x 2.30 cms
Product Classification:
Mathematical logic
Ksh 10,600.00
Manufactured on Demand
0 in stock
Delivery Location
Delivery fee: Select location
Secure
Quality
Fast
This volume gives an overview of linear logic that will be useful to mathematicians and computer scientists working in this area.
Linear logic, introduced in 1986 by J.-Y. Girard, is based upon a fine grain analysis of the main proof-theoretical notions of logic. The subject develops along the lines of denotational semantics, proof nets and the geometry of interaction. Its basic dynamical nature has attracted computer scientists, and various promising connections have been made in the areas of optimal program execution, interaction nets and knowledge representation. This book is the refereed proceedings of the first international meeting on linear logic held at Cornell University, in June 1993. Survey papers devoted to specific areas of linear logic, as well as an extensive general introduction to the subject by J.-Y. Girard, have been added, so as to make this book a valuable tool both for the beginner and for the advanced researcher.
Get Advances in Linear Logic by at the best price and quality guaranteed only at Werezi Africa's largest book ecommerce store. The book was published by Cambridge University Press and it has pages.
