Labelled Deductive Systems

Volume 1

By: Dov M. Gabbay

Write A Review

Hardcover | 5 September 1996

At a Glance

Hardcover
512 Pages

Dimensions(cm)
23.39 x 15.6 x 2.87

Hardcover

RRP $271.00

$197.75

27%OFF

or 4 interest-free payments of $49.44 with

Ships in 5 to 7 business days

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.

Industry 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

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.