The Logic of Partial Information (Paperback, Softcover reprint of the original 1st ed. 1995)

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."

General

Imprint:	Springer-Verlag
Country of origin:	Germany
Series:	Monographs in Theoretical Computer Science. An EATCS Series
Release date:	December 2011
First published:	1995
Authors:	Areski Nait Abdallah
Dimensions:	235 x 155 x 37mm (L x W x T)
Format:	Paperback
Pages:	715
Edition:	Softcover reprint of the original 1st ed. 1995
ISBN-13:	978-3-642-78162-9
Categories:	Books > Computing & IT > General theory of computing > Mathematical theory of computation Books > Humanities > Philosophy > Topics in philosophy > Logic Books > Computing & IT > Computer programming > Programming languages > General Books > Computing & IT > Applications of computing > Artificial intelligence > General Books > Philosophy > Topics in philosophy > Logic Promotions
LSN:	3-642-78162-4
Barcode:	9783642781629

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!