23/4/10
This volume of the five volume set, was quickly criticised by Mr Gabbay's peers, and very few among the highly expert mathematicians in this world could offer much advice nor support, consequent to the volume's publication.
However, the primary failure was that the book did not lead from another volume, Non-monotonic And Uncertain Reasoning.
The volume 4 was probably created as part of a caveat against attempting logic programming in areas of knowledge that do not support the reasoning methods appropriate. It was made difficult to accept volume 4 in a cogent way, since it also contains what appeared to be obtuse error, and reversals in terms of theorem intension.
Howevermore, Mr Gabbay was very pleased, during conversation, that I referred to volume 4 as the kernel component of the handbook shell system, or compared to the real element of a complex number; the volume's error, 'nor' absence from publication imparting negative root.
But Mr Gabbay, also gave me good advice on purchasing from the volume set, which was to select a tome that I found suitable, and only acquire that instance. As each book is extremely deep and a lot of very hard work to study.
Fortunately or otherwise, out of interest to purchase the most contentious and far reaching volume, here I borrow from Mr Montague Python's 1970s lecture series, "Of course the theorem's not dead. It's probably pining for the fjords!"
Keith Murray