On the complexity of equational decision problems for finite height complemented and orthocomplemented modular lattices

DOI10.1007/s00012-021-00760-3MaRDI QIDQ2073367

Christian Herrmann

Publication date: 2 February 2022

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

Full work available at URL: https://doi.org/10.1007/s00012-021-00760-3

zbMATH Keywords

complexity; satisfiability problems; complemented modular lattice; Hilbert category; matrix \(*\)-ring; ortholattice of subspaces

Mathematics Subject Classification ID

16B50: Category-theoretic methods and results in associative algebras (except as in 16D90)

81P10: Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects)

68Q17: Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.)

06C20: Complemented modular lattices, continuous geometries