Labelled Deduction (Hardcover, 2000 ed.)

Labelled deduction is an approach to providing frameworks for presenting and using different logics in a uniform and natural way by enriching the language of a logic with additional information of a semantic proof-theoretical nature. Labelled deduction systems often possess attractive properties, such as modularity in the way that families of related logics are presented, parameterised proofs of metatheoretic properties, and ease of mechanisability. It is thus not surprising that labelled deduction has been applied to problems in computer science, AI, mathematical logic, cognitive science, philosophy and computational linguistics - for example, formalizing and reasoning about dynamic state oriented' properties such as knowledge, belief, time, space, and resources.

General

Imprint:	Springer
Country of origin:	Netherlands
Series:	Applied Logic Series, 17
Release date:	2001
First published:	2000
Editors:	David Basin • M. D'Agostino • Dov M. Gabbay • Sean Matthews • Luca Vigano
Dimensions:	244 x 170 x 17mm (L x W x T)
Format:	Hardcover
Pages:	267
Edition:	2000 ed.
ISBN-13:	978-0-7923-6237-1
Categories:	Books > Humanities > Philosophy > Topics in philosophy > Logic Books > Philosophy > Topics in philosophy > Logic
LSN:	0-7923-6237-3
Barcode:	9780792362371

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!