Relation Algebras, Vol 150. Studies in Logic and the Foundations of Mathematics

  • ID: 1762865
  • Book
  • 758 Pages
  • Elsevier Science and Technology
1 of 4

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.

  • Presents historical milestones from a modern perspective
  • Careful, thorough, detailed guide to understanding relation algebras
  • Provides a framework and unified perspective of the subject
Note: Product cover images may vary from those shown
2 of 4
Chapter 1. Calculus of relations
Chapter 2. Set theory
Chapter 3. General algebra
Chapter 4. Logic with equality
Chapter 5. Boolean algebras
Chapter 6. Relation algebras
Chapter 7. Algebraic logic
Chapter 8. 4329 finite integral relation algebras
Note: Product cover images may vary from those shown
3 of 4

Loading
LOADING...

4 of 4
Maddux, Roger Duncan
Note: Product cover images may vary from those shown
5 of 4
Note: Product cover images may vary from those shown
Adroll
adroll