Free Ortholattices
From MaRDI portal
Publication:4123365
DOI10.4153/CJM-1976-095-6zbMATH Open0353.06001OpenAlexW4241609463MaRDI QIDQ4123365FDOQ4123365
Authors: Günter Bruns 
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
Free algebras (08B20) Modular lattices, Desarguesian lattices (06C05) Complemented lattices, orthocomplemented lattices and posets (06C15) Varieties (08B99)
Cited In (14)
- Finitely generated free modular ortholattices. II
- The extended permutohedron on a transitive binary relation.
- Proof theory for minimal quantum logic. I
- Weaker forms of associativity in orthomodular lattices.
- Order-topological separable complete modular ortholattices admit order continuous faithful valuations
- Obituary: Günter Bruns
- Conditional associativity in orthomodular lattices
- Computer proof of monotonicity of operations on orthomodular lattices
- Negative translations of orthomodular lattices and their logic
- The variety generated by the truth value algebra of type-2 fuzzy sets
- Equivalence checking for orthocomplemented bisemilattices in log-linear time
- Formula normalizations in verification
- Bibliography on quantum logics and related structures
- Finitely generated free modular ortholattices. I
This page was built for publication: Free Ortholattices
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4123365)
