Modal-type orthomodular logic. - Graciela Domenech; Hector Freytes; Christian de Ronde (Math. Log. Q., 2009)

Quantum computational logic with mixed states. - Hector Freytes; Graciela Domenech (Math. Log. Q., 2013)

Semilattices global valuations in the topos approach to quantum mechanics. - Hector Freytes; Christian de Ronde; Graciela Domenech (Soft Comput., 2017)