By
Roger Maddux, Department of Mathematics, Iowa State University, Ames, Iowa, 5001, USA
Description
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.
Included in series
Studies in Logic and the Foundations of Mathematics
Audience:
Mathematicians, logicians, computer scientists, and philosophers
