Categorical Equivalences for Formula quasi-MV Algebras

DOI10.1093/logcom/exn082zbMath1220.06003OpenAlexW1835399749MaRDI QIDQ3583097

Francesco Paoli, Antonio Ledda, Roberto Giuntini

Publication date: 26 August 2010

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/exn082

zbMATH Keywords

lattice-ordered groupsquasi-MV-algebrasgamma functor

Mathematics Subject Classification ID

Quantum computation (81P68) MV-algebras (06D35) Ordered groups (06F15)

Related Items (4)

The representation of square root quasi-pseudo-MV algebras ⋮ The lattice of subvarieties of \({\sqrt{^\prime}}\) quasi-MV algebras ⋮ Logics from \(\sqrt{\prime}\) quasi-MV algebras ⋮ A discriminator variety of Gödel algebras with operators arising in quantum computation

This page was built for publication: Categorical Equivalences for Formula quasi-MV Algebras