The Logic of Quasi-MV Algebras
Félix Bou, Francesco Paoli, Antonio Ledda, Matthew Spinks, Roberto Giuntini · Journal of Logic and Computation · 2010
The algebraic theory of quasi-MV algebras, generalizations of MV algebras arising in quantum computation, is by now rather well-developed. Although it is possible to define several interesting logics from these structures, so far this aspect has not been investigated. The present article aims at filling this gap.