QUANTUM LOGIC ASSOCIATED TO FINITE DIMENSIONAL INTERVALS OF MODULAR ORTHOLATTICES
Roberto Giuntini, Héctor Freytes, Giuseppe Sergioli · Journal of Symbolic Logic · 2016
Abstract In this work we study an abstract formulation of a problem posed by J.M. Dunn, T.J. Hagge et al. about the inclusion of varieties generated by the modular ortholattice of subspaces of ℂn. We shall prove that, this abstract formulation is equivalent to the direct irreducibility for atomic complete modular ortholattices.