Free Ortholattices

DOI10.4153/CJM-1976-095-6MaRDI QIDQ4123365zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

Modular lattices, Desarguesian lattices (06C05) Complemented lattices, orthocomplemented lattices and posets (06C15) Free algebras (08B20) Varieties (08B99)

Cited in

(15)

• Bibliography on quantum logics and related structures
• Proof theory for minimal quantum logic. I
• Finitely generated free modular ortholattices. I
• Finitely generated free modular ortholattices. II
• Obituary: Günter Bruns
• The variety generated by the truth value algebra of type-2 fuzzy sets
• Weaker forms of associativity in orthomodular lattices.
• Computer proof of monotonicity of operations on orthomodular lattices
• The extended permutohedron on a transitive binary relation.
• Order-topological separable complete modular ortholattices admit order continuous faithful valuations
• Conditional associativity in orthomodular lattices
• Equivalence checking for orthocomplemented bisemilattices in log-linear time
• Formula normalizations in verification
• Negative translations of orthomodular lattices and their logic
• Decidability of quantum modal logic

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)