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
Currently unavailable
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 Jean-Yves Girard 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 400 pages.
Customers Who Bought This Also Bought
Elements of 8-Category Theory
KSh 13,300.00
Fuzzy Set Theory—and Its Applications
KSh 47,350.00
Lectures in Logic and Set Theory
KSh 9,550.00
Complex Dynamical Systems
KSh 19,250.00
Distributed Networks
KSh 16,400.00
Suguru Puzzle Book
KSh 0.00
The Baseball Mysteries
KSh 5,450.00
Information Security and Optimization
KSh 22,500.00
Problem Solving In Operation Management
KSh 14,400.00
Belief Change
KSh 32,400.00
Neutrosophic Computing and Vague Data Analysis
KSh 22,500.00
Introduction to Modern Cryptography, Revised Third Edition
KSh 9,350.00
