Lavoisier S.A.S.
14 rue de Provigny
94236 Cachan cedex
FRANCE

Heures d'ouverture 08h30-12h30/13h30-17h30
Tél.: +33 (0)1 47 40 67 00
Fax: +33 (0)1 47 40 67 02


Url canonique : www.lavoisier.fr/livre/autre/advanced-topics-in-relation-algebras/descriptif_3853256
Url courte ou permalien : www.lavoisier.fr/livre/notice.asp?ouvrage=3853256

Advanced Topics in Relation Algebras, 1st ed. 2017 Relation Algebras, Volume 2

Langue : Anglais

Auteur :

Couverture de l’ouvrage Advanced Topics in Relation Algebras

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.

Preface.- Introduction.- 14. Canonical Extensions.- 15. Completions.- 16. Representations.- 17. Representation Theorems.- 18. Varieties of Relation Algebras.- 19. Atom Structures.- Epilogue.- References.- Index.  
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).

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

Date de parution :

Ouvrage de 605 p.

15.5x23.5 cm

Disponible chez l'éditeur (délai d'approvisionnement : 15 jours).

Prix indicatif 84,39 €

Ajouter au panier

Date de parution :

Ouvrage de 605 p.

15.5x23.5 cm

Disponible chez l'éditeur (délai d'approvisionnement : 15 jours).

Prix indicatif 84,39 €

Ajouter au panier