Título | The logic of quasi-MV algebras |
Publication Type | Journal Article |
Year of Publication | 2010 |
Authors | Bou F, Paoli F., Ledda A., Spinks M., Giuntini R. |
Journal | Journal of Logic and Computation |
Volume | 20 |
Paginación | 619-643 |
Resumen | 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. |