Conditional associativity in orthomodular lattices

Abstract

Abstract For orthomodular lattices the word problem is still not decided, an important obstacle is the lack of distributivity. But also the absence of the associativity law for operations other than the lattice operations meet and join causes difficulties. In this paper we treat some aspects of associativity in orthomodular lattices. There are six out of 96 orthomodular operations which are associative. We search for orthomodular lattice operations which fulfil the associative identity under some conditions. Specifically we assume that some arguments commute and identify, for each operation, sufficient conditions under which a triple of elements fulfils the respective associativity identity.