Article contents
A coordinatisation of implicative (semi-)lattices by Baer semigroups*
Published online by Cambridge University Press: 14 November 2011
Synopsis
We show that if L is a bounded (semi-)lattice and f is a range-closed idempotent residuated mapping on L then f is multiplicative if and only if it is decreasing. We then use this to prove that a bounded (semi-)lattice is implicative if and only if it can be coordinatised by a weakly multiplicative (right) Baer semigroup.
- Type
- Research Article
- Information
- Proceedings of the Royal Society of Edinburgh Section A: Mathematics , Volume 82 , Issue 1-2 , 1978 , pp. 111 - 113
- Copyright
- Copyright © Royal Society of Edinburgh 1978
References
- 2
- Cited by