Fulltext

The Logic of Quasi-MV Algebras

Bou, Félix ; Paoli, Francesco ; Ledda, Antonio ; Spinks, Matthew ; Giuntini, Roberto

In: Journal of Logic and Computation, 2010, vol. 20, no. 2, p. 619-643

Ajouter à la liste personnelle
    Titre
    • The Logic of Quasi-MV Algebras
    Auteur
    • Bou, Félix. Artificial Intelligence Research Institute (IIIA - CSIC), Bellaterra, Spain. E-mail: fbou@iiia.csic.es
    • Paoli, Francesco. Department of Education, University of Cagliari, Cagliari, Italy. E-mail: paoli@unica.it
    • Ledda, Antonio. Department of Education, University of Cagliari, Cagliari, Italy. E-mail: antonio.ledda@inwind.it
    • Spinks, Matthew. Mathematical Institute, University of Bern, Bern, Switzerland. E-mail: mspinksau@yahoo.com.au
    • Giuntini, Roberto. Department of Education, University of Cagliari, Cagliari, Italy. E-mail: giuntini@unica.it
    Type de document
    • Postprint
    Langue
    • Anglais
    Publié dans
    • Journal of Logic and Computation, 2010, vol. 20, no. 2, p. 619-643. Oxford University Press
    Autre version électronique
    Identifiant OAI-PMH
    • oai:doc.rero.ch:303008
    Summary
    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