Títol | The logic of quasi-MV algebras |

Publication Type | Journal Article |

Year of Publication | 2010 |

Authors | Bou F [1], Paoli F. [2], Ledda A. [3], Spinks M. [4], Giuntini R. [5] |

Journal | Journal of Logic and Computation |

Volume | 20 |

Paginació | 619-643 |

Resum | 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. |