Overview
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.
Full Product Details
Author: Steven Givant
Publisher: Springer International Publishing AG
Imprint: Springer International Publishing AG
Edition: Softcover reprint of the original 1st ed. 2017
Weight: 1.307kg
ISBN: 9783319881362
ISBN 10: 3319881361
Pages: 605
Publication Date: 15 August 2018
Audience:
Professional and scholarly
,
Professional & Vocational
Format: Paperback
Publisher's Status: Active
Availability: Manufactured on demand
We will order this item for you from a manufactured on demand supplier.
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. (Janis Cirulis, zbMATH 1436.03001, 2020)
Author Information
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).
