Pages that link to "Item:Q861643"
From MaRDI portal
The following pages link to Decidability in orthomodular lattices (Q861643):
Displaying 7 items.
- Decision problem for orthomodular lattices (Q1272084) (← links)
- On the complexity of equational decision problems for finite height complemented and orthocomplemented modular lattices (Q2073367) (← links)
- Weaker forms of associativity in orthomodular lattices. (Q2351507) (← links)
- Sasaki projections (Q2359732) (← links)
- Computer proof of monotonicity of operations on orthomodular lattices (Q2446438) (← links)
- Orthogonality and Boolean Algebras for Deduction Modulo (Q3007658) (← links)
- Central lifting property for orthomodular lattices (Q5145755) (← links)