Picture 1 of 6
Gallery
Picture 1 of 6
Have one to sell?
Labelled Deductive Systems Vol 1 Gabbay 1996 Oxford Logic Guides Hardcover NF
US $63.05
Approximately£46.87
Condition:
Very Good
A book that has been read and does not look new, but is in excellent condition. No obvious damage to the book cover, with the dust jacket (if applicable) included for hard covers. No missing or damaged pages, no creases or tears, no underlining or highlighting of text, and no writing in the margins. Some identifying marks on the inside cover, but this is minimal. Very little wear and tear. See the seller’s listing for full details and description of any imperfections.
- Buy it nowLabelled Deductive Systems Vol 1 Gabbay 1996 Oxford Logic Guides Hardcover NF
Oops! Looks like we're having trouble connecting to our server.
Refresh your browser window to try again.
Postage:
US $5.22 (approx £3.88) USPS Media MailTM.
Located in: Petaluma, California, United States
Delivery:
Estimated between Wed, 13 Aug and Fri, 15 Aug
Returns:
30 days return. Buyer pays for return postage. If you use an eBay delivery label, it will be deducted from your refund amount.
Payments:
Shop with confidence
Seller assumes all responsibility for this listing.
eBay item number:277298994215
Item specifics
- Condition
- Book Title
- Labelled Deductive Systems
- ISBN
- 9780198538332
About this product
Product Identifiers
Publisher
Oxford University Press, Incorporated
ISBN-10
0198538332
ISBN-13
9780198538332
eBay Product ID (ePID)
514678
Product Key Features
Number of Pages
510 Pages
Publication Name
Labelled Deductive Systems
Language
English
Subject
General, Logic
Publication Year
1996
Type
Textbook
Subject Area
Mathematics, Philosophy
Series
Oxford Logic Guides
Format
Hardcover
Dimensions
Item Height
1.3 in
Item Weight
30.6 Oz
Item Length
9.5 in
Item Width
6.3 in
Additional Product Features
Intended Audience
College Audience
LCCN
96-025507
Dewey Edition
21
Reviews
'The wole exposition has been permeated wiht instructive, interesting and witty examples. The book opens a number of new interesting model-theoretic, proof-theoretic and foundational questions and seems to be a reasonable basis for new further investigations. ...Undoubtedly, this will be onof the inspiring sources motivating others to work in those fields.'B. Boricic, Zentrallblatt fur Mathematik und ihre Grenzgebiete No. 858, 1997, 'The wole exposition has been permeated wiht instructive, interesting and witty examples. The book opens a number of new interesting model-theoretic, proof-theoretic and foundational questions and seems to be a reasonable basis for new further investigations. ...Undoubtedly, this will be onof the inspiring sources motivating others to work in those fields.' B. Boricic, Zentrallblatt fur Mathematik und ihre Grenzgebiete No. 858, 1997, "The book presents the formal machinery of LDSs (Labelled deductive systems): proof theory, semantics, and algebraic LDSs, with many examples: modal and tense logics, fuzzy and many-valued logics, linear and relevant logics, nonmonotonic logic, etc. . . .this book will be of great interest for anyone who wants to grasp, together with a number of formal techniques, a multiplicity of logical systems, mostly related to computer science and artificial intelligence." --Mathematical Reviews, "The book presents the formal machinery of LDSs (Labelled deductive systems): proof theory, semantics, and algebraic LDSs, with many examples: modal and tense logics, fuzzy and many-valued logics, linear and relevant logics, nonmonotonic logic, etc. . . .this book will be of great interest for anyone who wants to grasp, together with a number of formal techniques, a multiplicity of logical systems, mostly related to computer science and artificial intelligence." -- Mathematical Reviews, 'The wole exposition has been permeated wiht instructive, interesting and witty examples. The book opens a number of new interesting model-theoretic, proof-theoretic and foundational questions and seems to be a reasonable basis for new further investigations. ...Undoubtedly, this will be on of the inspiring sources motivating others to work in those fields.'B. Boricic, Zentrallblatt fur Mathematik und ihre Grenzgebiete No. 858, 1997, The book is carefully written from a mathematical standpoint. It is also very pleasant to read, thanks to the clear and good-humoured writing style of Professor Gabbay... it should be of interest to those researchers and students of applied logics as well as those geared towards foundational and mathematical aspects of logic.
Series Volume Number
33
Volume Number
Vol. 1
Illustrated
Yes
Dewey Decimal
511.3
Table Of Content
1. What is a logical system?2. Introducing Labelled Deductive Systems3. Algebraic LDS4. General LDS5. Resource logics6. Translation of LDS7. LDS formulation8. Curry-Howard interpretation9. Structured consequence relations10. Labelled analytic deduction11. Abduction in Labelled Deductive Systems
Synopsis
This important book provides a new unifying methodology for logic. It replaces the traditional view of logic as manipulating sets of formulas with the notion of structured families of labelled formulas with algebraic structures. This approach has far reaching consequences for the methodology of logics and their semantics, and the book studies the main features of such systems along with their applications. It will interest logicians, computer scientists, philosophers and linguists., This book introduces a new unifying framework for logics which makes it particularly suitable for applications. It develops its general theory and illustrates it with applications in logic, computer science, artificial intelligence, and philosophy., This important book provides a new unifying methodology for logic. It replaces the traditional view of logic as manipulating sets of formulas by the notion of structured families of labelled formulas, the labels having algebraic structure. This simple device has far reaching consequences for the methodology of logics and their semantics. The book studies the main features of such systems as well as many applications.The framework of Labelled Deductive Systems is of interest to a large variety of readers. At one extreme there is the pure mathematical logician who likes exact formal definitions and dry theorems, who probably specializes in one logic and methodology. At the other extreme there is the practical consumer of logic, who likes to absorb the intutions and use labelling as needed to advance the cause of applications.The book begins with an intuitive presentation of LDS in the context of traditional current views of monotonic and nonmonotonic logics. It is less orientated towards the pure logician and more towards the practical consumer of logic.The main part of the book presents the formal theory of LDS for the formal logician. The author has tried to avoid the style of definition-lemma-theorem and has put in some explanation.
LC Classification Number
BC71.G3 1996
Item description from the seller
About this seller
Moon_Valley_Books
100% positive Feedback•3.5K items sold
Registered as a private sellerThereby, consumer rights stemming from EU consumer protection law do not apply. eBay buyer protection still applies to most purchases.
Seller Feedback (1,262)
- a***a (40)- Feedback left by buyer.Past 6 monthsVerified purchaseMy books arrived in very quickly after I purchased them. They were packaged better than anything I have ever received before...you really made sure they were protected and safe and I appreciate it! The items were exactly as described and the price was very fair, in my opinion. Thank you so much! You are a great seller!
- a***m (4)- Feedback left by buyer.Past 6 monthsVerified purchaseItem was in great shape, just as described. Arrived in time and was packed appropriately to avoid any damaging during transport. Definitely recommend and buy again from this seller, great value for an out of print book!
- i***0 (183)- Feedback left by buyer.Past 6 monthsVerified purchaseFantastic seller. Excellent communication skills. Item as described, packaged with care and delivered on time.Geometry Algebra Trigonometry Vector Methods A.H. Copeland 1962 1st HC DJ (#276995314979)
More to explore:
- Logic Non-Fiction Hardcover Books,
- Oxford University Press Hardcovers Books,
- Hardcover School Textbooks & Study Guides,
- Oxford University Press School Workbooks Guides,
- Oxford University Press Hardcover Language Course,
- Oxford University Press Physics School Textbooks & Study Guides,
- Oxford University Press Literature School Textbooks & Study Guides,
- Oxford University Press Biology School Textbooks & Study Guides,
- Oxford University Press Science School Textbooks and Study Guides,
- Oxford Dictionaries Oxford University Press
Moon_Valley_Books
100% positive Feedback•3.5K items sold
Registered as a private sellerThereby, consumer rights stemming from EU consumer protection law do not apply. eBay buyer protection still applies to most purchases.
Seller Feedback (1,262)
- a***a (40)- Feedback left by buyer.Past 6 monthsVerified purchaseMy books arrived in very quickly after I purchased them. They were packaged better than anything I have ever received before...you really made sure they were protected and safe and I appreciate it! The items were exactly as described and the price was very fair, in my opinion. Thank you so much! You are a great seller!
- a***m (4)- Feedback left by buyer.Past 6 monthsVerified purchaseItem was in great shape, just as described. Arrived in time and was packed appropriately to avoid any damaging during transport. Definitely recommend and buy again from this seller, great value for an out of print book!
- i***0 (183)- Feedback left by buyer.Past 6 monthsVerified purchaseFantastic seller. Excellent communication skills. Item as described, packaged with care and delivered on time.Geometry Algebra Trigonometry Vector Methods A.H. Copeland 1962 1st HC DJ (#276995314979)