Test sets for tautologies in modular quantum logic

Christian Herrmann

As defined by Dunn, Moss, and Wang, an universal test set in an ortholattice $L$ is a subset $T$ such that each term takes value $1$, only, if it does so under all substitutions fr…