scientific article
From MaRDI portal
Publication:3376364
zbMath1091.06008MaRDI QIDQ3376364
Publication date: 23 March 2006
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Complemented lattices, orthocomplemented lattices and posets (06C15) Free lattices, projective lattices, word problems (06B25)
Related Items (4)
Sasaki projections ⋮ Decidability in orthomodular lattices ⋮ Computer proof of monotonicity of operations on orthomodular lattices ⋮ Weaker forms of associativity in orthomodular lattices.
This page was built for publication: