The free orthomodular word problem is solvable
From MaRDI portal
Publication:3710574
DOI10.1017/S000497270001008XzbMath0585.06004MaRDI QIDQ3710574
Publication date: 1986
Published in: Bulletin of the Australian Mathematical Society (Search for Journal in Brave)
Complemented lattices, orthocomplemented lattices and posets (06C15) Free lattices, projective lattices, word problems (06B25)
Related Items (3)
Decidability in orthomodular lattices ⋮ Bibliography on quantum logics and related structures ⋮ Associativity of operations on orthomodular lattices
Cites Work
This page was built for publication: The free orthomodular word problem is solvable