Cylindric-like Algebras and Algebraic Logic (Hardcover, 2013 ed.)

Algebraic logic is a subject in the interface between logic, algebra and geometry, it has strong connections with category theory and combinatorics. Tarski s quest for finding structure in logic leads to cylindric-like algebras as studied in this book, they are among the main players in Tarskian algebraic logic. Cylindric algebra theory can be viewed in many ways: as an algebraic form of definability theory, as a study of higher-dimensional relations, as an enrichment of Boolean Algebra theory, or, as logic in geometric form ( cylindric in the name refers to geometric aspects). Cylindric-like algebras have a wide range of applications, in, e.g., natural language theory, data-base theory, stochastics, and even in relativity theory. The present volume, consisting of 18 survey papers, intends to give an overview of the main achievements and new research directions in the past 30 years, since the publication of the Henkin-Monk-Tarski monographs. It is dedicated to the memory of Leon Henkin. "

General

Imprint:	Springer-Verlag
Country of origin:	Germany
Series:	Bolyai Society Mathematical Studies, 22
Release date:	2013
First published:	2013
Editors:	Hajnal Andreka • Miklos Ferenczi • Istvan Nemeti
Dimensions:	235 x 155 x 31mm (L x W x T)
Format:	Hardcover
Pages:	474
Edition:	2013 ed.
ISBN-13:	978-3-642-35024-5
Categories:	Books > Science & Mathematics > Mathematics > Combinatorics & graph theory Books > Computing & IT > General theory of computing > Mathematical theory of computation Books > Science & Mathematics > Mathematics > Mathematical foundations > General Books > Science & Mathematics > Mathematics > Algebra > General Promotions
LSN:	3-642-35024-0
Barcode:	9783642350245

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!