Article contents
Residuation theory and Boolean matrices
Published online by Cambridge University Press: 18 May 2009
Extract
We begin this paper by considering a Boolean algebra as a lattice which is relatively pseudo-complemented (i.e., residuated with respect to intersection) and give, in this case, certain properties of the equivalences of types A, B and F(as introduced by Molinaro [1]). We then show how these results carry over to the case of Boolean matrices, which form a Boolean algebra residuated also with respect to matrix multiplication. Other properties of matrix residuals are established and we conclude with three algebraic characterisations of invertible Boolean matrices.
- Type
- Research Article
- Information
- Copyright
- Copyright © Glasgow Mathematical Journal Trust 1964
References
REFERENCES
- 3
- Cited by