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 (259 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

GET 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

GET EBOOK

In part 2, games are introduced, and used to axiomatise various classes of algebras. Part 3 discusses approximations to representability, using bases, relation
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

GET 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

GET EBOOK

An Algebraic Approach to Non-classical Logics
Language: en
Pages: 428
Authors: Helena Rasiowa
Categories: Algebraic logic
Type: BOOK - Published: 1974 - Publisher:

GET EBOOK

The main aim of this book is to formulate an algebraic approach to a carefully selected widest possible class of logics and to prove fundamental theorems for it