Lavoisier S.A.S.
14 rue de Provigny
94236 Cachan cedex
FRANCE

Heures d'ouverture 08h30-12h30/13h30-17h30
Tél.: +33 (0)1 47 40 67 00
Fax: +33 (0)1 47 40 67 02


Url canonique : www.lavoisier.fr/livre/autre/relation-algebras/maddux/descriptif_3568567
Url courte ou permalien : www.lavoisier.fr/livre/notice.asp?ouvrage=3568567

Relation Algebras Studies in Logic and the Foundations of Mathematics Series

Langue : Anglais

Auteur :

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.

Chapter 1. Calculus of relationsChapter 2. Set theoryChapter 3. General algebraChapter 4. Logic with equalityChapter 5. Boolean algebrasChapter 6. Relation algebrasChapter 7. Algebraic logicChapter 8. 4329 finite integral relation algebras
Mathematicians, logicians, computer scientists, and philosophers
  • Presents historical milestones from a modern perspective
  • Careful, thorough, detailed guide to understanding relation algebras
  • Provides a framework and unified perspective of the subject

Date de parution :

Ouvrage de 758 p.

15x22.8 cm

Épuisé

Thème de Relation Algebras :