Free Ortholattices
From MaRDI portal
Publication:4123365
DOI10.4153/CJM-1976-095-6zbMath0353.06001OpenAlexW4241609463MaRDI QIDQ4123365
Publication date: 1976
Published in: Canadian Journal of Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.4153/cjm-1976-095-6
Complemented lattices, orthocomplemented lattices and posets (06C15) Modular lattices, Desarguesian lattices (06C05) Free algebras (08B20) Varieties (08B99)
Related Items (11)
Proof theory for minimal quantum logic. I ⋮ Finitely generated free modular ortholattices. I ⋮ Finitely generated free modular ortholattices. II ⋮ The extended permutohedron on a transitive binary relation. ⋮ Computer proof of monotonicity of operations on orthomodular lattices ⋮ Bibliography on quantum logics and related structures ⋮ Order-topological separable complete modular ortholattices admit order continuous faithful valuations ⋮ Obituary: Günter Bruns ⋮ The variety generated by the truth value algebra of type-2 fuzzy sets ⋮ Weaker forms of associativity in orthomodular lattices. ⋮ Conditional associativity in orthomodular lattices
This page was built for publication: Free Ortholattices
