MV-algebras and quantum computation

DOI10.1007/s11225-006-7202-2zbMath1102.06010OpenAlexW1971712894MaRDI QIDQ2498366

Martinvaldo Konig, Antonio Ledda, Francesco Paoli, Roberto Giuntini

Publication date: 16 August 2006

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-006-7202-2

zbMATH Keywords

quantum computationquantum logicMV-algebraresiduated structuresquantum logical gatesquasi-MV-algebra

Mathematics Subject Classification ID

Quantum computation (81P68) MV-algebras (06D35)

Related Items

Unnamed Item ⋮ The representation of square root quasi-pseudo-MV algebras ⋮ Boolean-like algebras ⋮ The Toffoli-Hadamard gate system: an algebraic approach ⋮ Quantum computational structures: Categorical equivalence for square root \(\mathrm{qMV}\)-algebras ⋮ Semi-linear Varieties of Lattice-Ordered Algebras ⋮ Towards quantum computational logics ⋮ On Birkhoff's common abstraction problem ⋮ Logics from \(\sqrt{\prime}\) quasi-MV algebras ⋮ Joins and subdirect products of varieties ⋮ Expanding quasi-MV algebras by a quantum operator ⋮ On some properties of quasi-MV algebras and \(\sqrt{^{\prime}}\) quasi-MV algebras. II. ⋮ Quantum computational logic with mixed states ⋮ States, state operators and quasi-pseudo-MV algebras ⋮ Quasi-discriminator varieties ⋮ Probability in quantum computation and quantum computational logics: a survey ⋮ Ideals and congruences in quasi-pseudo-MV algebras ⋮ Quantum computational algebra with a non-commutative generalization ⋮ Some generalizations of fuzzy structures in quantum computational logic ⋮ Categories of semigroups in quantum computational structures ⋮ On certain quasivarieties of quasi-MV algebras ⋮ Quasi-subtractive varieties ⋮ A discriminator variety of Gödel algebras with operators arising in quantum computation ⋮ Filters and ideals in the generalization of pseudo-BL algebras ⋮ Some results in weak pseudo-quasi-Wajsberg algebras ⋮ Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Ideals in universal algebras
• A concrete ideal multiplication for algebraic systems and its relation to congruence distributivity
• On subtractive varieties II: General properties
• On subtractive varieties. I
• Substructural logics: a primer
• An unsharp logic from quantum computation
• Implication algebras are 3-permutable and 3-distributive
• A New Proof of the Completeness of the Lukasiewicz Axioms