Cylindric-like Algebras and Algebraic Logic

Cylindric-like Algebras and Algebraic Logic
Author :
Publisher : Springer Science & Business Media
Total Pages : 457
Release :
ISBN-10 : 9783642350252
ISBN-13 : 3642350259
Rating : 4/5 (52 Downloads)

Book Synopsis Cylindric-like Algebras and Algebraic Logic by : Hajnal Andréka

Download or read book Cylindric-like Algebras and Algebraic Logic written by Hajnal Andréka and published by Springer Science & Business Media. This book was released on 2014-01-27 with total page 457 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.​


Cylindric-like Algebras and Algebraic Logic Related Books

Cylindric-like Algebras and Algebraic Logic
Language: en
Pages: 457
Authors: Hajnal Andréka
Categories: Mathematics
Type: BOOK - Published: 2014-01-27 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Algebraic logic is a subject in the interface between logic, algebra and geometry, it has strong connections with category theory and combinatorics. Tarski’s
Relation Algebras by Games
Language: en
Pages: 722
Authors: Robin Hirsch
Categories: Mathematics
Type: BOOK - Published: 2002-08-15 - Publisher: Gulf Professional Publishing

DOWNLOAD EBOOK

In part 2, games are introduced, and used to axiomatise various classes of algebras. Part 3 discusses approximations to representability, using bases, relation
A Course in Universal Algebra
Language: en
Pages: 276
Authors: S. Burris
Categories: Mathematics
Type: BOOK - Published: 2011-10-21 - Publisher: Springer

DOWNLOAD EBOOK

Universal algebra has enjoyed a particularly explosive growth in the last twenty years, and a student entering the subject now will find a bewildering amount of
An Algebraic Introduction to Mathematical Logic
Language: en
Pages: 129
Authors: D.W. Barnes
Categories: Mathematics
Type: BOOK - Published: 2013-06-29 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book is intended for mathematicians. Its origins lie in a course of lectures given by an algebraist to a class which had just completed a substantial cours
First Order Categorical Logic
Language: en
Pages: 317
Authors: M. Makkai
Categories: Mathematics
Type: BOOK - Published: 2006-11-15 - Publisher: Springer

DOWNLOAD EBOOK