Relation Algebras
- 1st Edition, Volume 150 - May 12, 2006
- Imprint: Elsevier Science
- Author: Roger Duncan Maddux
- Language: English
- Hardback ISBN:9 7 8 - 0 - 4 4 4 - 5 2 0 1 3 - 5
- eBook ISBN:9 7 8 - 0 - 0 8 - 0 4 6 1 4 7 - 2
The modern theory of algebras of binary relations, reformulated by Tarski as an abstract, algebraic, equational theory of relation algebras, has considerable mathematical si… Read more
Purchase options
Institutional subscription on ScienceDirect
Request a sales quoteThe 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.
- Presents historical milestones from a modern perspective
- Careful, thorough, detailed guide to understanding relation algebras
- Provides a framework and unified perspective of the subject
Mathematicians, logicians, computer scientists, and philosophers
PrefaceList of FiguresList of TablesChapter 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 algebrasBibliographyIndex
- Edition: 1
- Volume: 150
- Published: May 12, 2006
- Imprint: Elsevier Science
- Language: English
- Hardback ISBN: 9780444520135
- eBook ISBN: 9780080461472
RM
Roger Duncan Maddux
Affiliations and expertise
Department of Mathematics, Iowa State University, Ames, Iowa, 5001, USARead Relation Algebras on ScienceDirect