@article {3473, title = {The logic of quasi-MV algebras}, journal = {Journal of Logic and Computation}, volume = {20}, year = {2010}, pages = {619-643}, abstract = {The algebraic theory of quasi-MV algebras, generalisations 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 paper aims at filling this gap.}, author = {F{\`e}lix Bou and F. Paoli and A. Ledda and M. Spinks and R. Giuntini} }