ENGLISH

Relation Algebras

By Roger Duncan Maddux

Book information

Publisher
Elsevier Science
Year
2006
ISBN
0444520139, 9780444520135, 9780080461472
Language
english
Format
DJVU
Filesize
5 MB (4793280 bytes)
Series
Studies in Logic and the Foundations of Mathematics 150
Edition
1
Pages
756\756
Topic
Mathematics Logic
Library
Kolxo3
Time added
2009-12-04 00:34:26

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. Key Features: - Presents historical milestones from a modern perspective - Careful, thorough, detailed guide to understanding relation algebras - Provides a framework and unified perspective of the subject

Similar books