Reasoning in quantum theory. Sharp and unsharp quantum logics.

Roberto Giuntini, Maria Luisa Dalla Chiara, Richard J. Greechie

Publication date: 23 November 2004

Published in: Trends in Logic -- Studia Logica Library (Search for Journal in Brave)

zbMATH Keywords

quantum theory Hilbert space state unsharp quantum logic quantum logic MV-algebra algebraic structure orthodox quantum mechanics, effect algebra sharp quantum logic

Mathematics Subject Classification ID

Quantum computation (81P68) Research exposition (monographs, survey articles) pertaining to quantum theory (81-02) Applications of functional analysis in quantum physics (46N50) Complemented lattices, orthocomplemented lattices and posets (06C15) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Quantum logic (03G12)

Related Items (only showing first 100 items - show all)

Pattern recognition in non-Kolmogorovian structures ⋮ The common logic of quantum universe. I: The case of non-relativistic quantum mechanics ⋮ Polar decomposition in e-rings ⋮ Outline of a generalization and a reinterpretation of quantum mechanics recovering objectivity ⋮ Embedding quantum mechanics into a broader noncontextual theory ⋮ States on orthocomplemented difference posets (extensions) ⋮ Towards a multi target quantum computational logic ⋮ An epistemic interpretation of quantum probability via contextuality ⋮ Non-unitary Evolution of Quantum Logics ⋮ Evolution of quantum observables: from non-commutativity to commutativity ⋮ On residuation in paraorthomodular lattices ⋮ A discussion on the origin of quantum probabilities ⋮ On some properties of directoids ⋮ The universal group of a Heyting effect algebra ⋮ Complete axiomatizations for quantum actions ⋮ On the Connection Between Quantum Probability and Geometry ⋮ Daggers, kernels, Baer *-semigroups, and orthomodularity ⋮ Editors' introduction: The third life of quantum logic: Quantum logic inspired by quantum computing ⋮ On the lattice structure of probability spaces in quantum mechanics ⋮ The paradox of classical reasoning ⋮ Bohrification of operator algebras and quantum logic ⋮ The dynamic turn in quantum logic ⋮ An alternative propositional calculus for application to empirical sciences ⋮ A categorial semantic representation of quantum event structures ⋮ Compositional and holistic quantum computational semantics ⋮ Some properties of transforms in cultural theory ⋮ Logical connectives on lattice effect algebras ⋮ Physical propositions and quantum languages ⋮ MV-algebra for cultural rules ⋮ A topological study of contextuality and modality in quantum mechanics ⋮ A direct product decomposition of QMV algebras ⋮ The quasi-lattice of indiscernible elements ⋮ A theory of computation based on unsharp quantum logic: finite state automata and pushdown automata ⋮ Equational characterization for two-valued states in orthomodular quantum systems ⋮ A note on many valued quantum computational logics ⋮ Deriving the correctness of quantum protocols in the probabilistic logic for quantum programs ⋮ Weak QMV algebras and some ring-like structures ⋮ Interpreting the Modal Kochen-Specker theorem: possibility and many worlds in quantum mechanics ⋮ Contextual semantics in quantum mechanics from a categorical point of view ⋮ Ideals and congruences of basic algebras ⋮ Intelligent control systems. I. quantum computing and self-organization algorithm ⋮ Finite local models for the GHZ experiment ⋮ Two-valued states on Baer $^\ast$-semigroups ⋮ Unnamed Item ⋮ Logical approach for two-valued states on quantum systems ⋮ Manuals of cultural systems ⋮ PLQP \& Company: decidable logics for quantum algorithms ⋮ From Quantum-Mechanical Lattice of Projections to Smooth Structure of $$\mathbb {R}^4$$R4 ⋮ Square roots and inverses in e-rings ⋮ Recovering quantum logic within an extended classical framework ⋮ Relational quantum mechanics and probability ⋮ Effects, observables, states, and symmetries in physics ⋮ Computing power of Turing machines in the framework of unsharp quantum logic ⋮ Bilattice Logics and Demi-Negation ⋮ Probability over Płonka sums of Boolean algebras: states, metrics and topology ⋮ A complete axiomatisation for the logic of lattice effect algebras ⋮ Translation from three-valued quantum logic to modal logic ⋮ A matrix representation of quantum circuits over non-adjacent qudits ⋮ Wave-particle duality and the objectiveness of ``true and ``false ⋮ Unnamed Item ⋮ A formal framework for the study of the notion of undefined particle number in quantum mechanics ⋮ A new view of effects in a Hilbert space ⋮ Interpreting quantum logic as a pragmatic structure ⋮ Fuzzy type representation of the Fredkin gate in quantum computation with mixed states ⋮ On some properties of PBZ$^*$-lattices ⋮ Kripke style semantic for the logic of two valued-states ⋮ Dynamics in the decompositions approach to quantum mechanics ⋮ Distribution in the Logic of Meaning Containment and in Quantum Mechanics ⋮ Quantum computational logic with mixed states ⋮ Observables, states, and symmetries in the context of CB-effect algebras ⋮ A semiring-like representation of lattice pseudoeffect algebras ⋮ Questions and answers in an orthoalgebraic approach ⋮ On the structure of pseudo BL-algebras and pseudo hoops in quantum logics ⋮ Basis logic for application in physics and its intuitionistic alternative ⋮ Quantum logic as a dynamic logic ⋮ Physics, inconsistency, and quasi-truth ⋮ Weakly complete axiomatization of exogenous quantum propositional logic ⋮ Fuzzy approach for Toffoli gate in quantum computation with mixed states ⋮ Convex quantum logic ⋮ Category-theoretic interpretative framework of the complementarity principle in quantum mechanics ⋮ A many-valued approach to quantum computational logics ⋮ Radical interpretation and logical pluralism ⋮ Geometric probability theory and Jaynes’s methodology ⋮ A quantum-inspired version of the nearest mean classifier ⋮ Quantum fuzzy inference for knowledge base design in robust intelligent controllers ⋮ On identities in orthocomplemented difference lattices ⋮ Orthocomplemented posets with a symmetric difference ⋮ Some generalizations of fuzzy structures in quantum computational logic ⋮ Holism, ambiguity and approximation in the logics of quantum computation: a survey ⋮ Square root of ‘not’: a major difference between fuzzy and quantum logics ⋮ Modal-type orthomodular logic ⋮ Outer and inner approximations in quantum spaces ⋮ Time translation of quantum properties ⋮ Residuated structures and orthomodular lattices ⋮ Automata theory based on unsharp quantum logic ⋮ Unnamed Item ⋮ A discriminator variety of Gödel algebras with operators arising in quantum computation ⋮ Material implications in lattice effect algebras ⋮ Separability and non-individuality: is it possible to conciliate (at least a form of) Einstein's realism with quantum mechanics? ⋮ Approximating families for lattice outer measures on unsharp quantum logics

This page was built for publication: Reasoning in quantum theory. Sharp and unsharp quantum logics.