Visit our Christmas Gift Finder
The Logic of Partial Information - Monographs in Theoretical Computer Science. An EATCS Series (Paperback)
  • The Logic of Partial Information - Monographs in Theoretical Computer Science. An EATCS Series (Paperback)
zoom

The Logic of Partial Information - Monographs in Theoretical Computer Science. An EATCS Series (Paperback)

(author)
£114.00
Paperback 715 Pages / Published: 30/12/2011
  • We can order this

Usually dispatched within 3 weeks

  • This item has been added to your basket
One must be able to say at all times - in- stead of points, straight lines, and planes - tables, chairs and beer mugs. (David Hilbert) One service mathematics has rendered the human race. It has put common sense back where it belongs, on the topmost shelf next to the dusty canister labelled "discarded nonsense. " (Eric T. Bell) This book discusses reasoning with partial information. We investigate the proof theory, the model theory and some applications of reasoning with par- tial information. We have as a goal a general theory for combining, in a principled way, logic formulae expressing partial information, and a logical tool for choosing among them for application and implementation purposes. We also would like to have a model theory for reasoning with partial infor- mation that is a simple generalization of the usual Tarskian semantics for classical logic. We show the need to go beyond the view of logic as a geometry of static truths, and to see logic, both at the proof-theoretic and at the model-theoretic level, as a dynamics of processes. We see the dynamics of logic processes bear with classical logic, the same relation as the one existing between classical mechanics and Euclidean geometry.

Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
ISBN: 9783642781629
Number of pages: 715
Weight: 1111 g
Dimensions: 235 x 155 x 37 mm
Edition: Softcover reprint of the original 1st ed. 199

You may also be interested in...

Learn Python the Hard Way
Added to basket
£29.48
Mixed media product
Learning Python
Added to basket
£51.99
Paperback
SQL in 10 Minutes, Sams Teach Yourself
Added to basket
C Programming in Easy Steps
Added to basket
Designing Data-Intensive Applications
Added to basket
Clean Code
Added to basket
£36.99
Paperback
Python Crash Course
Added to basket
£33.99
Paperback
Code
Added to basket
£21.99
Paperback
Fluent Python
Added to basket
£39.99
Paperback
Python For Dummies
Added to basket
£22.99
Paperback
Python in Easy Steps
Added to basket
Coding for Beginners in easy steps
Added to basket

Please sign in to write a review

Your review has been submitted successfully.