The modern theory of algebras of binary relations, reformulated by Tarski as an abstract, algebraic, equational theory of relation algebras, has considerable mathematical significance, with applications in various fields: e.g., in computer science---databases, specification theory, AI---and in anthropology, economics, physics, and philosophical logic.
This comprehensive treatment of the theory of relation algebras and the calculus of relations is the first devoted to a systematic development of the subject.
Rezensionen / Stimmen
"An indispensable tool for scholars and research workers in mathematics and the mathematical sciences." --Mathmatical Reviews, 2007
"The book is an introduction to the calculus of relations and the theory of relation algebras (r.a.s): the reader need not have any preliminary knowledge of the subject... [T]he book contains very extensive material (the bibliography, in particular) both on relation algebras and from related areas and may serve as a handbook for a researcher." --ZentralblattMATH
Reihe
Sprache
Verlagsort
Verlagsgruppe
Elsevier Science & Technology
Zielgruppe
Für Beruf und Forschung
Mathematicians, logicians, computer scientists, and philosophers
Maße
Höhe: 229 mm
Breite: 152 mm
Gewicht
ISBN-13
978-0-444-52013-5 (9780444520135)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Klassifikation
Autor*in
Department of Mathematics, Iowa State University, Ames, Iowa, 5001, USA
Chapter 1. Calculus of relationsChapter 2. Set theoryChapter 3. General algebraChapter 4. Logic with equalityChapter 5. Boolean algebrasChapter 6. Relation algebrasChapter 7. Algebraic logicChapter 8. 4329 finite integral relation algebras
