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.
Key Features:
- Presents historical milestones from a modern perspective.
- Careful, thorough, detailed guide to understanding relation algebras.
- Includes a wealth of scholarly material --- 100 years of work by a research community --- presented in book form for the first time.
- Provides a framework and unified perspective of the subject.
- Roger D. Maddux is one of the world's leading experts in the field of relation algebras.
Key Features:
- Presents historical milestones from a modern perspective.
- Careful, thorough, detailed guide to understanding relation algebras.
- Includes a wealth of scholarly material --- 100 years of work by a research community --- presented in book form for the first time.
- Provides a framework and unified perspective of the subject.
- Roger D. Maddux is one of the world's leading experts in the field of relation algebras.