Decision problem for orthomodular lattices

DOI10.1007/PL00000328zbMath0902.06012OpenAlexW2028869192MaRDI QIDQ1272084

M. A. E. H. Sherif

Publication date: 23 November 1998

Published in: Algebra Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/pl00000328

zbMATH Keywords

orthomodular latticeortholatticeinseparabilityfinite decidability

Mathematics Subject Classification ID

Lattices of varieties (08B15) Decidability of theories and sets of sentences (03B25) Complemented lattices, orthocomplemented lattices and posets (06C15)

Related Items (1)

Quantum logic is undecidable

This page was built for publication: Decision problem for orthomodular lattices