6 papers · 1 filter
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…
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.
On the complexity of equational decision problems for finite height(ortho)complemented modular lattices
Christian Herrmann
We study the computational complexity of satisfiability problems for classes of simple finite height (ortho)complemented modular lattices . For single finite , these problems…
Definable relations in finite dimensional subspace lattices with involution. Part II: Quantifier free and homogeneous descriptions
Christian Herrmann, Martin Ziegler
For finite dimensional hermitean inner product spaces , over -fields , and in the presence of orthogonal bases providing form elements in the prime subfield of , we sho…
On the consistency problem for modular lattices and related structures
Christian Herrmann, Yasuyuki Tsukamoto, Martin Ziegler
The consistency problem for a class of algebraic structures asks for an algorithm to decide for any given conjunction of equations whether it admits a non-trivial satisfying assign…