Нашли опечатку? Выделите ее мышкой и нажмите Ctrl+Enter
Название: Relation Algebras, Volume 150 (Studies in Logic and the Foundations of Mathematics)
Автор: Maddux R.
Аннотация:
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