On the complexity of equational decision problems for finite height complemented and orthocomplemented modular lattices (Q2073367)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On the complexity of equational decision problems for finite height complemented and orthocomplemented modular lattices |
scientific article |
Statements
On the complexity of equational decision problems for finite height complemented and orthocomplemented modular lattices (English)
0 references
2 February 2022
0 references
ortholattice of subspaces
0 references
matrix \(*\)-ring
0 references
complemented modular lattice
0 references
satisfiability problems
0 references
complexity
0 references
Hilbert category
0 references
0 references
0 references
0 references
