Skip to main content
Book cover

Advanced Topics in Relation Algebras

Relation Algebras, Volume 2

  • Textbook
  • © 2017

Overview

  • Advances readers with foundations in relation algebras to the frontiers of active research

  • Engages the reader with numerous examples, exercises, and historical remarks

  • The second volume of a textbook pair, which together provide a landmark unified treatment of the field

  • Includes supplementary material: sn.pub/extras

This is a preview of subscription content, log in via an institution to check access.

Access this book

eBook USD 69.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 89.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 89.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (6 chapters)

Keywords

About this book

The second volume of a pair that charts relation algebras from novice to expert level, this text brings the well-grounded reader to the frontiers of research. Building on the foundations established in the preceding Introduction to Relation Algebras, this volume advances the reader into the deeper mathematical results of the past few decades. Such material offers an ideal preparation for research in relation algebras and Boolean algebras with operators.

Arranged in a modular fashion, this text offers the opportunity to explore any of several areas in detail; topics include canonical extensions, completions, representations, varieties, and atom structures. Each chapter offers a complete account of one such avenue of development, including a historical section and substantial number of exercises. The clarity of exposition and comprehensive nature of each module make this an ideal text for the independent reader entering the field, while researchers will value it as a reference for years to come.

Collecting, curating, and illuminating over 75 years of progress since Tarski's seminal work in 1941, this textbook in two volumes offers a landmark, unified treatment of the increasingly relevant field of relation algebras. Clear and insightful prose guides the reader through material previously only available in scattered, highly-technical journal articles. Students and experts alike will appreciate the work as both a textbook and invaluable reference for the community. Note that this volume contains numerous, essential references to the previous volume, Introduction to Relation Algebras. The reader is strongly encouraged to secure at least electronic access to the first book in order to make use of the second.

Reviews

“This second volume of the book ‘is aimed at … graduate students and professionals in a variety of mathematical disciplines, especially various branches of logic, universal algebra, and theoretical computer science’ and may serve both as a textbook and a reference. Like the first volume, it is also appropriate for independent study.” (Jānis Cīrulis, zbMATH 1436.03001, 2020)

Authors and Affiliations

  • Department of Mathematics, Mills College, Oakland, USA

    Steven Givant

About the author

Steven Givant is a Professor of Mathematics and Computer Science at Mills College, California. As a long-term collaborator of Alfred Tarski—one of the great logicians—Givant has been involved first-hand in the development of the field of relation algebras since the 1970s. His previous books include Duality Theories for Boolean Algebras with Operators (Springer, 2014), Introduction to Boolean Algebras, with Paul Halmos (Springer, 2009), Logic as Algebra, with Paul Halmos (MAA, 1998), and A Formalization of Set Theory without Variables, with Alfred Tarski (AMS, 1987). He was also coeditor, with Ralph McKenzie, of Alfred Tarski's Collected Papers: Vol 1-4 (Birkhäuser, 1986).

Bibliographic Information

  • Book Title: Advanced Topics in Relation Algebras

  • Book Subtitle: Relation Algebras, Volume 2

  • Authors: Steven Givant

  • DOI: https://doi.org/10.1007/978-3-319-65945-9

  • Publisher: Springer Cham

  • eBook Packages: Mathematics and Statistics, Mathematics and Statistics (R0)

  • Copyright Information: Springer International Publishing AG 2017

  • Hardcover ISBN: 978-3-319-65944-2Published: 14 September 2017

  • Softcover ISBN: 978-3-319-88136-2Published: 15 August 2018

  • eBook ISBN: 978-3-319-65945-9Published: 29 August 2017

  • Edition Number: 1

  • Number of Pages: XIX, 605

  • Topics: Mathematical Logic and Foundations, General Algebraic Systems

Publish with us