The Logic of Quasi-MV Algebras

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.

• Type: Journal
• Year: 2010
• Where: LOGCOM
• Authors: Félix Bou, Francesco Paoli, Antonio Ledda, Matthew Spinks, Roberto Giuntini
• Keywords: Algebraic Theory, Interesting Logics, LOGCOM 2010, Quasi-MV Algebras