Cargando…

Cylindric-like algebras and algebraic logic

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

Descripción completa

Detalles Bibliográficos
Autores principales: Andréka, Hajnal, Ferenczi, Miklós, Németi, István
Lenguaje:eng
Publicado: Springer 2013
Materias:
Acceso en línea:https://dx.doi.org/10.1007/978-3-642-35025-2
http://cds.cern.ch/record/1646893
_version_ 1780935124441890816
author Andréka, Hajnal
Ferenczi, Miklós
Németi, István
author_facet Andréka, Hajnal
Ferenczi, Miklós
Németi, István
author_sort Andréka, Hajnal
collection CERN
description 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.
id cern-1646893
institution Organización Europea para la Investigación Nuclear
language eng
publishDate 2013
publisher Springer
record_format invenio
spelling cern-16468932021-04-21T21:20:38Zdoi:10.1007/978-3-642-35025-2http://cds.cern.ch/record/1646893engAndréka, HajnalFerenczi, MiklósNémeti, IstvánCylindric-like algebras and algebraic logicMathematical Physics and MathematicsAlgebraic 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.Springeroai:cds.cern.ch:16468932013
spellingShingle Mathematical Physics and Mathematics
Andréka, Hajnal
Ferenczi, Miklós
Németi, István
Cylindric-like algebras and algebraic logic
title Cylindric-like algebras and algebraic logic
title_full Cylindric-like algebras and algebraic logic
title_fullStr Cylindric-like algebras and algebraic logic
title_full_unstemmed Cylindric-like algebras and algebraic logic
title_short Cylindric-like algebras and algebraic logic
title_sort cylindric-like algebras and algebraic logic
topic Mathematical Physics and Mathematics
url https://dx.doi.org/10.1007/978-3-642-35025-2
http://cds.cern.ch/record/1646893
work_keys_str_mv AT andrekahajnal cylindriclikealgebrasandalgebraiclogic
AT ferenczimiklos cylindriclikealgebrasandalgebraiclogic
AT nemetiistvan cylindriclikealgebrasandalgebraiclogic