Dynamic algebras as a well-behaved fragment of relation algebras
- 7 June 2005
- book chapter
- Published by Springer Nature
- p. 77-110
- https://doi.org/10.1007/bfb0043079
Abstract
No abstract availableKeywords
This publication has 30 references indexed in Scilit:
- Linear logicTheoretical Computer Science, 1987
- Varieties of relation algebrasAlgebra universalis, 1982
- Boolean modulesJournal of Algebra, 1981
- A representation theorem for models of *-free PDLLecture Notes in Computer Science, 1980
- Ultraproducts for AlgebraistsPublished by Elsevier ,1977
- Boolean Algebras with OperatorsAmerican Journal of Mathematics, 1952
- Boolean Algebras with Operators. Part IAmerican Journal of Mathematics, 1951
- The Representation of Relational AlgebrasAnnals of Mathematics, 1950
- Non-Commutative Residuated LatticesTransactions of the American Mathematical Society, 1939
- On the Structure of Abstract AlgebrasMathematical Proceedings of the Cambridge Philosophical Society, 1935