Pages that link to "Item:Q1272084"
From MaRDI portal
The following pages link to Decision problem for orthomodular lattices (Q1272084):
Displaying 4 items.
- Decidability in orthomodular lattices (Q861643) (← links)
- Decision problems for distributive lattice-ordered semigroups (Q1891276) (← links)
- On the complexity of equational decision problems for finite height complemented and orthocomplemented modular lattices (Q2073367) (← links)
- Quantum logic is undecidable (Q2663337) (← links)