Quantum MV algebras

DOI10.1007/BF00372773MaRDI QIDQ1919984zbMATH OpenFDO

Authors Roberto Giuntini

Publication date 7 January 1997

Published in Studia Logica (Search for Journal in Brave)

zbMATH Keywords

subdirect productsnonidempotent extensions of orthomodular latticesquantum MV algebras

Mathematics Subject Classification ID

Quantum logic (03G12) De Morgan algebras, ?ukasiewicz algebras (lattice-theoretic aspects) (06D30)

Recommendations

• The logic of quasi-MV algebras
• MV-algebras and quantum computation
• Semi-simple and complete MV-algebras
• On some lattice quotients of \(MV\)-algebras
• Algebraic methods in quantum logic

Cites work

• scientific article; zbMATH DE number 3779321 (Why is no real title available?)
• scientific article; zbMATH DE number 46487 (Why is no real title available?)
• scientific article; zbMATH DE number 3430627 (Why is no real title available?)
• scientific article; zbMATH DE number 3093334 (Why is no real title available?)
• A New Proof of the Completeness of the Lukasiewicz Axioms
• A semantical investigation on Brouwer-Zadeh logic
• Algebraic Analysis of Many Valued Logics
• Brouwer-Zadeh posets and three-valued Łukasiewicz posets
• Connections among quantum logics. I: Quantum propositional logics
• Effect algebras and unsharp quantum logics.
• Filters and supports in orthoalgebras
• Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus
• PARTIAL GREECHIE DIAGRAMS FOR MODULAR ORTHOLATTICES
• Partial and unsharp quantum logics.
• Semantic alternatives in Brouwer-Zadeh logics
• Spectral properties of metastable Markov semigroups
• The logics of orthoalgebras

Cited in

(29)

• Computing power of Turing machines in the framework of unsharp quantum logic
• Automata theory based on unsharp quantum logic
• Congruences and ideals in pseudo effect algebras as total algebras
• On quantum-MV algebras. I: The orthomodular algebras
• Implicit Operations in MV-Algebras and the Connectives of Łukasiewicz Logic
• Subreducts and subvarieties of PBZ *-lattices*
• On residuation in paraorthomodular lattices
• On the structure of pseudo BL-algebras and pseudo hoops in quantum logics
• A direct product decomposition of QMV algebras
• A theory of computation based on unsharp quantum logic: finite state automata and pushdown automata
• Expanding quasi-MV algebras by a quantum operator
• Implicative-orthomodular algebras
• An example of a commutative basic algebra which is not an MV-algebra
• The logic of quasi-MV algebras
• Weak QMV algebras and some ring-like structures
• Weakly linear quantum MV-algebras
• MV-algebras and quantum computation
• The many-valued logic of quantum mechanics
• Algebraic methods in quantum logic
• Derivations in Łukasiewicz semirings
• Distributive PBZ*-lattices
• Some generalizations of fuzzy structures in quantum computational logic
• A new view of effects in a Hilbert space
• Many-valued quantum algebras
• On lifting quasi-filters and strong lifting quasi-filters in MV-algebras
• scientific article; zbMATH DE number 2168736 (Why is no real title available?)
• Ideals and congruences in effect algebras and qmv-algebras
• Interval MV-algebras and generalizations.
• Complete commutative basic algebras

This page was built for publication: Quantum MV algebras

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1919984)