Pages that link to "Item:Q1887210"
From MaRDI portal
The following pages link to Reasoning in quantum theory. Sharp and unsharp quantum logics. (Q1887210):
Displayed 50 items.
- Outline of a generalization and a reinterpretation of quantum mechanics recovering objectivity (Q299531) (← links)
- Embedding quantum mechanics into a broader noncontextual theory (Q301099) (← links)
- States on orthocomplemented difference posets (extensions) (Q312460) (← links)
- A discussion on the origin of quantum probabilities (Q339454) (← links)
- On some properties of directoids (Q344093) (← links)
- Daggers, kernels, Baer *-semigroups, and orthomodularity (Q358684) (← links)
- Editors' introduction: The third life of quantum logic: Quantum logic inspired by quantum computing (Q358690) (← links)
- On the lattice structure of probability spaces in quantum mechanics (Q362992) (← links)
- Bohrification of operator algebras and quantum logic (Q383005) (← links)
- The dynamic turn in quantum logic (Q383006) (← links)
- A categorial semantic representation of quantum event structures (Q385635) (← links)
- A direct product decomposition of QMV algebras (Q424333) (← links)
- A theory of computation based on unsharp quantum logic: finite state automata and pushdown automata (Q428877) (← links)
- Equational characterization for two-valued states in orthomodular quantum systems (Q429230) (← links)
- Logical approach for two-valued states on quantum systems (Q472714) (← links)
- Manuals of cultural systems (Q472730) (← links)
- PLQP \& Company: decidable logics for quantum algorithms (Q472733) (← links)
- Recovering quantum logic within an extended classical framework (Q486962) (← links)
- Computing power of Turing machines in the framework of unsharp quantum logic (Q496026) (← links)
- A formal framework for the study of the notion of undefined particle number in quantum mechanics (Q514076) (← links)
- A new view of effects in a Hilbert space (Q514507) (← links)
- On the structure of pseudo BL-algebras and pseudo hoops in quantum logics (Q535622) (← links)
- Basis logic for application in physics and its intuitionistic alternative (Q535640) (← links)
- Quantum logic as a dynamic logic (Q542128) (← links)
- An alternative propositional calculus for application to empirical sciences (Q609651) (← links)
- Some properties of transforms in cultural theory (Q616828) (← links)
- The quasi-lattice of indiscernible elements (Q631517) (← links)
- Interpreting quantum logic as a pragmatic structure (Q682630) (← links)
- Fuzzy type representation of the Fredkin gate in quantum computation with mixed states (Q682640) (← links)
- On some properties of PBZ\(^*\)-lattices (Q682648) (← links)
- Kripke style semantic for the logic of two valued-states (Q682655) (← links)
- Dynamics in the decompositions approach to quantum mechanics (Q682657) (← links)
- Quantum fuzzy inference for knowledge base design in robust intelligent controllers (Q740565) (← links)
- Material implications in lattice effect algebras (Q781950) (← links)
- The universal group of a Heyting effect algebra (Q861571) (← links)
- Complete axiomatizations for quantum actions (Q861649) (← links)
- Compositional and holistic quantum computational semantics (Q885682) (← links)
- Orthocomplemented posets with a symmetric difference (Q1016088) (← links)
- Time translation of quantum properties (Q1022506) (← links)
- A discriminator variety of Gödel algebras with operators arising in quantum computation (Q1037926) (← links)
- Pattern recognition in non-Kolmogorovian structures (Q1616110) (← links)
- A note on many valued quantum computational logics (Q1701678) (← links)
- Deriving the correctness of quantum protocols in the probabilistic logic for quantum programs (Q1701681) (← links)
- Weak QMV algebras and some ring-like structures (Q1701734) (← links)
- Contextual semantics in quantum mechanics from a categorical point of view (Q1708773) (← links)
- Relational quantum mechanics and probability (Q1735906) (← links)
- A many-valued approach to quantum computational logics (Q1794842) (← links)
- A quantum-inspired version of the nearest mean classifier (Q1797756) (← links)
- Logical connectives on lattice effect algebras (Q1935557) (← links)
- Ideals and congruences of basic algebras (Q1955452) (← links)