9 citations · 19 across the 12 of their papers we have counts for
15 papers
Test sets for tautologies in modular quantum logic
Christian Herrmann
As defined by Dunn, Moss, and Wang, an universal test set in an ortholattice is a subset such that each term takes value , only, if it does so under all substitutions fr…
A Note on the "Third Life of Quantum Logic"
Christian Herrmann
The purpose of this note is to discuss some of the questions raised by Dunn, J. Michael; Moss, Lawrence S.; Wang, Zhenghan in Editors' introduction: the third life of quantum logic…
Representations of *-regular rings and their ortholattices of projections
Christian Herrmann, Niklas Niemann
We show that a subdirectly irreducible *-regular ring admits a representation within some inner product space provided so does its ortholattice of projections.
(Co)isotropic triples and poset representations
Christian Herrmann, Jonathan Lorand, Alan Weinstein
We study triples of coisotropic or isotropic subspaces in symplectic vector spaces; in particular, we classify indecomposable structures of this kind. The classification depends on…
Varieties of *-regular rings
Christian Herrmann
Given a subdirectly irreducible *-regular ring R, we show that R is a homomorphic image of a regular *-subring of an ultraproduct of the (simple) eRe, e in the minimal ideal of R.…
On the Finiteness Problem for classes of modular lattices
Christian Herrmann
The Finiteness Problem is shown to be unsolvable for any sufficiently large class of modular lattices.