Bolyai Society Mathematical Studies

Cylindric-like Algebras and Algebraic Logic

Editors: Andreka, Hajnal, Ferenczi, Miklós, Németi, István (Eds.)

  • A tribute to Tarski’s legacy, this volume gives an overview on how a central part of Tarskian algebraic logic developed in the last 30 years
  • Intends to be a continuation of the Henkin-Monk-Tarski monographs
  • Contains 18 survey papers on main achievements and on new research directions in the theory since 1985  
  • Gives a glimpse into the state-of-the-art theory of algebras of relations
see more benefits

Buy this book

eBook $129.00
price for USA (gross)
  • ISBN 978-3-642-35025-2
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $169.00
price for USA
  • ISBN 978-3-642-35024-5
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Softcover $169.00
price for USA
  • ISBN 978-3-642-43799-1
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Rent the ebook  
  • Rental duration: 1 or 6 month
  • low-cost access
  • online reader with highlighting and note-making option
  • can be used across all devices
About this book

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

Table of contents (19 chapters)

  • Introduction

    Andréka, Hajnal (et al.)

    Pages 9-12

  • Reducing First-order Logic to Df3, Free Algebras

    Andréka, Hajnal (et al.)

    Pages 15-35

  • Varieties of Two-Dimensional Cylindric Algebras

    Bezhanishvili, Nick

    Pages 37-59

  • Completions and Complete Representations

    Hirsch, Robin (et al.)

    Pages 61-89

  • Amalgamation, Interpolation and Epimorphisms in Algebraic Logic

    Madarász, Judit X. (et al.)

    Pages 91-103

Buy this book

eBook $129.00
price for USA (gross)
  • ISBN 978-3-642-35025-2
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover $169.00
price for USA
  • ISBN 978-3-642-35024-5
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Softcover $169.00
price for USA
  • ISBN 978-3-642-43799-1
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Rent the ebook  
  • Rental duration: 1 or 6 month
  • low-cost access
  • online reader with highlighting and note-making option
  • can be used across all devices
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Cylindric-like Algebras and Algebraic Logic
Editors
  • Hajnal Andreka
  • Miklós Ferenczi
  • István Németi
Series Title
Bolyai Society Mathematical Studies
Series Volume
22
Copyright
2013
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-642-35025-2
DOI
10.1007/978-3-642-35025-2
Hardcover ISBN
978-3-642-35024-5
Softcover ISBN
978-3-642-43799-1
Series ISSN
1217-4696
Edition Number
1
Number of Pages
VI, 474
Topics