|
Books > Science & Mathematics > Mathematics > Mathematical foundations
|
Buy Now
Formal Methods for Nonmonotonic and Related Logics - Vol II: Theory Revision, Inheritance, and Various Abstract Properties (Hardcover, 1st ed. 2018)
Loot Price: R2,741
Discovery Miles 27 410
|
|
|
Formal Methods for Nonmonotonic and Related Logics - Vol II: Theory Revision, Inheritance, and Various Abstract Properties (Hardcover, 1st ed. 2018)
Expected to ship within 10 - 17 working days
|
The two volumes in this advanced textbook present results, proof
methods, and translations of motivational and philosophical
considerations to formal constructions. In the associated Vol. I
the author explains preferential structures and abstract size. In
this Vol. II he presents chapters on theory revision and sums,
defeasible inheritance theory, interpolation, neighbourhood
semantics and deontic logic, abstract independence, and various
aspects of nonmonotonic and other logics. In both volumes the text
contains many exercises and some solutions, and the author limits
the discussion of motivation and general context throughout,
offering this only when it aids understanding of the formal
material, in particular to illustrate the path from intuition to
formalisation. Together these books are a suitable compendium for
graduate students and researchers in the area of computer science
and mathematical logic.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
You might also like..
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
