ENGLISH

Relation Algebras

Book information

Publisher
Elsevier, Academic Press
Year
2006
ISBN
0444520139, 9780444520135, 9780080461472
Language
english
Format
DJVU
Filesize
16 MB (17127768 bytes)
Series
Studies in Logic and the Foundations of Mathematics 150
Edition
1
Pages
758\759
Topic
Mathematics Logic
Time added
2011-06-04 13:46:07

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