Quantum Computational Structures: Categorical Equivalence for Square Root qMV -algebras

  • Authors:

  • Hector Freytes

  • Affiliations:

  • Dipartimento di Scienze Pedagogiche e Filosofiche, Università di Cagliari, Cagliari, Italia and Instituto Argentino de Matemática (IAM), CONICET, Buenos Aires, Argentina

  • Venue:
  • Studia Logica
  • Year:
  • 2010

Quantified Score

Hi-index 0.00

Visualization

Abstract

In this paper we investigate a categorical equivalence between square root qMV -algebras (a variety of algebras arising from quantum computation) and a category of preordered semigroups.