Relation algebras /

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 anthr...

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Maddux, R. D. (Roger D.), 1948-
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Amsterdam ; Boston : Elsevier, 2006.
Edición:1st ed.
Colección:Studies in logic and the foundations of mathematics ; v. 150.
Temas:
Relation algebras.
Alg�ebres des relations.
MATHEMATICS > Algebra > General.
Relation algebras
Booleaanse algebra.
Acceso en línea:Texto completo
Texto completo
Texto completo
Tabla de Contenidos:
  • Preface
  • List of Figures
  • List of Tables
  • Chapter 1. Calculus of relations
  • Chapter 2. Set theory
  • Chapter 3. General algebra
  • Chapter 4. Logic with equality
  • Chapter 5. Boolean algebras
  • Chapter 6. Relation algebras
  • Chapter 7. Algebraic logic
  • Chapter 8. 4329 finite integral relation algebras
  • Bibliography
  • Index.

Ejemplares similares