Del 150 - Studies in Logic and the Foundations of Mathematics
Relation Algebras
Inbunden, Engelska, 2006
Av Roger Duncan Maddux, USA) Maddux, Roger Duncan (Department of Mathematics, Iowa State University, Ames, Iowa, 5001, Duncan Maddux, Roger
3 429 kr
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.
- Presents historical milestones from a modern perspective
- Careful, thorough, detailed guide to understanding relation algebras
- Provides a framework and unified perspective of the subject
Produktinformation
- Utgivningsdatum2006-05-15
- Mått152 x 229 x undefined mm
- Vikt1 290 g
- FormatInbunden
- SpråkEngelska
- SerieStudies in Logic and the Foundations of Mathematics
- Antal sidor758
- FörlagElsevier Science
- ISBN9780444520135
Tillhör följande kategorier
Du kanske också är intresserad av
Residuated Lattices: An Algebraic Glimpse at Substructural Logics
Nikolaos Galatos, Peter Jipsen, Tomasz Kowalski, Hiroakira Ono, Japan Advanced Institute of Science and Technology) Galatos, Nikolaos (School of Information Science, USA) Jipsen, Peter (Chapman University, Orange, Australia) Kowalski, Tomasz (Australian National University, Canberra, Japan) Ono, Hiroakira (Japan Advanced Institute of Science and Technology, Ishikawa
2 609 kr
Many-Dimensional Modal Logics: Theory and Applications
A. Kurucz, F. Wolter, M. Zakharyaschev, Dov M. Gabbay, UK) Kurucz, A. (King's College, London, UK) Wolter, F. (University of Liverpool, UK) Zakharyaschev, M. (King's College, London, UK) Gabbay, Dov M. (King's College London, D. M. Gabbay
3 019 kr